No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9501-9501 |
例 連接的 and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 3277-3277 |
例 keyName and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4034-4034 |
例 在空間上重疊 and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8225-8225 |
例 暫時重疊 and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5896-5896 |
例 子圖 and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24386-24386 |
例 subString and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2394-2394 |
子類 EquivalenceRelation and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2367-2367 |
子類 PartialOrderingRelation and ReflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 893-893 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 988-988 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 569-569 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 99-99 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 102-102 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2254-2254 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 521-521 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 136-136 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 103-103 |
|