TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AirForce MilitaryService)	Mid-level-ontology.kif 9710-9710	Air force is a subclass of military service
(documentation AirForce EnglishLanguage "AirForce is the subclass of MilitaryService that comprises military air forces.")	Mid-level-ontology.kif 9711-9712	Air force is a subclass of military service
(externalImage AirForce "http://upload.wikimedia.org/wikipedia/commons/c/ c0/ India.Military.03.jpg")	pictureList.kif 5842-5842	Air force is a subclass of military service

appearance as argument number 2

(termFormat EnglishLanguage AirForce "air force")	domainEnglishFormat.kif 6151-6151
(termFormat ChineseTraditionalLanguage AirForce "空軍")	domainEnglishFormat.kif 6152-6152
(termFormat ChineseLanguage AirForce "空军")	domainEnglishFormat.kif 6153-6153

antecedent

(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 AirForce))
    (leaderPosition ?FORCE1 JointForcesAirCommander))

If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of air force, then joint forces air commander is a leader position of Y