MilitarySurplus |
appearance as argument number 1 |
(documentation MilitarySurplus EnglishLanguage "Any MilitaryArtifact which is sold to a non-military customer.") | Mid-level-ontology.kif 8430-8431 | |
(subclass MilitarySurplus MilitaryArtifact) | Mid-level-ontology.kif 8429-8429 |
appearance as argument number 2 |
(termFormat ChineseLanguage MilitarySurplus "军事盈余") | domainEnglishFormat.kif 37751-37751 | |
(termFormat ChineseTraditionalLanguage MilitarySurplus "軍事盈餘") | domainEnglishFormat.kif 37750-37750 | |
(termFormat EnglishLanguage MilitarySurplus "military surplus") | domainEnglishFormat.kif 37749-37749 |
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 8433-8443 |