![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 279-279 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | Bomb est une sous-classe de ExplosiveDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21822-21822 | Bomb est une sous-classe de arme |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2101-2101 | initialPart Shrapnel and Bomb |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21865-21865 | HandGrenade est une sous-classe de Bomb |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | IED est une sous-classe de Bomb |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1249-1249 | MolotovCocktail est une sous-classe de Bomb |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11567-11567 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11566-11566 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11565-11565 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17727-17732 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2103-2118 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21826-21831 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21838-21846 |
|
![]() |
![]() |