Anti-sea Operation Knowledge Modeling of Aircraft Carrier Formation Based on Key Knowledge and Symbiotic Relationship of Conditions.