| USMilitary(US military)
|
| appearance as argument number 1 |
|
| (documentation USMilitary EnglishLanguage "All Military of the United States.") | MilitaryProcesses.kif 953-953 | |
| (externalImage USMilitary "http://upload.wikimedia.org/wikipedia/commons/ 6/ 61/ US_National_Command.png") | pictureList.kif 5536-5536 | |
| (instance USMilitary MilitaryOrganization) | MilitaryProcesses.kif 951-951 | US military is an instance of military organization |
| (militaryOfArea USMilitary UnitedStates) | MilitaryProcesses.kif 952-952 | United states is a military of area of US military |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage USMilitary "美军") | domainEnglishFormat.kif 60932-60932 | |
| (termFormat ChineseTraditionalLanguage USMilitary "美軍") | domainEnglishFormat.kif 60931-60931 | |
| (termFormat EnglishLanguage USMilitary "US military") | domainEnglishFormat.kif 60930-60930 | |
| (termFormat EnglishLanguage USMilitary "United States military") | MilitaryProcesses.kif 2957-2957 |
| consequent |
|
|
| (=> (and (subclass ?PUB JointPublication) (instance ?ONE ?PUB) (containsInformation ?ONE ?CONTENT) (authors ?JORG ?PUB)) (exists (?ORG) (and (subOrganization ?ORG USMilitary) (confersObligation ?CONTENT ?JORG ?ORG)))) |
MilitaryProcesses.kif 940-949 |
|
|
|
|