| USMilitary
|
| 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 | |
| (militaryOfArea USMilitary UnitedStates) | MilitaryProcesses.kif 952-952 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage USMilitary "美军") | domainEnglishFormat.kif 60886-60886 | |
| (termFormat ChineseTraditionalLanguage USMilitary "美軍") | domainEnglishFormat.kif 60885-60885 | |
| (termFormat EnglishLanguage USMilitary "US military") | domainEnglishFormat.kif 60884-60884 | |
| (termFormat EnglishLanguage USMilitary "United States military") | MilitaryProcesses.kif 2818-2818 |
| 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 |
|
|
|