Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MortarPlatoon(mortar platoon) |
| appearance as argument number 1 |
|
| (subclass MortarPlatoon Platoon) | MilitaryPersons.kif 569-569 | Mortar platoon is a subclass of platoon |
| (documentation MortarPlatoon EnglishLanguage "A platoon carrying mortars.") | MilitaryPersons.kif 571-571 | Mortar platoon is a subclass of platoon |
| appearance as argument number 2 |
|
|
| (subEchelon WeaponsCompany MortarPlatoon) | MilitaryPersons.kif 582-582 | Mortar platoon is a sub echelon of weapons company |
| (termFormat EnglishLanguage MortarPlatoon "mortar platoon") | domainEnglishFormat.kif 38591-38591 | Mortar platoon is a sub echelon of weapons company |
| (termFormat ChineseTraditionalLanguage MortarPlatoon "迫擊砲排") | domainEnglishFormat.kif 38592-38592 | Mortar platoon is a sub echelon of weapons company |
| (termFormat ChineseLanguage MortarPlatoon "迫击炮排") | domainEnglishFormat.kif 38593-38593 | Mortar platoon is a sub echelon of weapons company |
| antecedent |
|
|
| (=> (instance ?MP MortarPlatoon) (exists (?MG) (and (instance ?MG MortarGun) (possesses ?MP ?MG)))) |
MilitaryPersons.kif 573-578 | If X is an instance of mortar platoon, then there exists Y such that Y is an instance of mortar gun and X possesses Y |
|