| MilitarySurplus | |
| appearance as argument number 1 |
|
|
| (documentation MilitarySurplus EnglishLanguage "Any MilitaryArtifact which is sold to a non-military customer.") | Mid-level-ontology.kif 8128-8129 | |
| (subclass MilitarySurplus MilitaryArtifact) | Mid-level-ontology.kif 8127-8127 | subclass MilitarySurplus and MilitaryArtifact |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MilitarySurplus "军事盈余") | domainEnglishFormat.kif 37675-37675 | termFormat ChineseLanguage, MilitarySurplus and "军事盈余" |
| (termFormat ChineseTraditionalLanguage MilitarySurplus "軍事盈餘") | domainEnglishFormat.kif 37674-37674 | termFormat ChineseTraditionalLanguage, MilitarySurplus and "軍事盈餘" |
| (termFormat EnglishLanguage MilitarySurplus "military surplus") | domainEnglishFormat.kif 37673-37673 | termFormat EnglishLanguage, MilitarySurplus and "military surplus" |
| antecedent |
|
|
| (=> (instance ?S MilitarySurplus) (exists (?A ?B) (and (instance ?B Buying) (patient ?B ?A) (objectTransferred ?B ?S) (not (instance ?A MilitaryOrganization)) (not (member ?A MilitaryOrganization))))) |
Mid-level-ontology.kif 8131-8141 |
|
|
|