| appearance as argument number 1 |
|
| (documentation MilitaryConvoy EnglishLanguage "A Convoy of MilitaryVehicles, travelling to the same at least intermediate destination, in relatively close proximity.") | Military.kif 99-100 | |
| (subclass MilitaryConvoy Convoy) | Military.kif 98-98 | Military convoy is a subclass of convoy |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MilitaryConvoy "军队车队") | domainEnglishFormat.kif 37605-37605 | |
| (termFormat ChineseTraditionalLanguage MilitaryConvoy "軍隊車隊") | domainEnglishFormat.kif 37604-37604 | |
| (termFormat EnglishLanguage MilitaryConvoy "military convoy") | domainEnglishFormat.kif 37603-37603 |
| antecedent |
|
|
| (=> (and (instance ?MC MilitaryConvoy) (member ?X ?MC)) (instance ?X MilitaryVehicle)) |
Military.kif 102-106 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners