MilitarySurplus |
appearance as argument number 1 |
![]() |
(documentation MilitarySurplus EnglishLanguage "Any MilitaryArtifact which is sold to a non-military customer.") | Mid-level-ontology.kif 9609-9610 | |
(subclass MilitarySurplus MilitaryArtifact) | Mid-level-ontology.kif 9608-9608 | MilitarySurplus は MilitaryArtifact の subclass では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage MilitarySurplus "军事盈余") | domainEnglishFormat.kif 37760-37760 | |
(termFormat ChineseTraditionalLanguage MilitarySurplus "軍事盈餘") | domainEnglishFormat.kif 37759-37759 | |
(termFormat EnglishLanguage MilitarySurplus "military surplus") | domainEnglishFormat.kif 37758-37758 |
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 9612-9622 |
|
![]() |
![]() |