No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21918-21918 |
Hostage taking is a subclass of unilateral getting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18615-18615 |
Inheriting is a subclass of unilateral getting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18696-18696 |
Seizing property is a subclass of unilateral getting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18578-18578 |
Stealing is a subclass of unilateral getting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1137-1137 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1491-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 815-815 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 350-350 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2499-2499 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 767-767 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 386-386 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 836-836 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 351-351 |
|