No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13351-13351 |
Bataille est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 584-584 |
Boxing est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21849-21849 |
ChemicalAttack est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 325-325 |
DirectAction est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 389-389 |
DirectActionActivity est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21935-21935 |
IncendiaryDeviceAttack est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21977-21977 |
KnifeAttack est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 421-421 |
MilitaryAssault est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1644-1644 |
PhysicalViolence est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13877-13877 |
PoliticalRevolution est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22076-22076 |
Stoning est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2092-2092 |
Terrorism est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22135-22135 |
VehicleAttack est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13326-13326 |
Guerre est une sous-classe de affrontement violent |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1209-1209 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1635-1635 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 887-887 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 423-423 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2571-2571 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 425-425 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 459-459 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 908-908 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 424-424 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |