No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13373-13373 |
Batalha e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 584-584 |
Boxing e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21848-21848 |
ChemicalAttack e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 325-325 |
DirectAction e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 389-389 |
DirectActionActivity e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21934-21934 |
IncendiaryDeviceAttack e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21976-21976 |
KnifeAttack e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 421-421 |
MilitaryAssault e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1644-1644 |
PhysicalViolence e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13876-13876 |
PoliticalRevolution e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22075-22075 |
Stoning e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2092-2092 |
Terrorism e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22134-22134 |
VehicleAttack e' uma sub-classe de ViolentContest |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13348-13348 |
Guerra e' uma sub-classe de ViolentContest |
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 |