No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7791-7791 |
smaller is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4183-4183 |
traverses is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23622-23622 |
typical part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23659-23659 |
typically contains part is an instance of spatial relation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 906-906 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1019-1019 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 582-582 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 112-112 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 115-115 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2267-2267 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 534-534 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 149-149 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 603-603 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 116-116 |
|