No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14658-14658 |
Canin est disjoint de felin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30592-30592 |
Cheetah est une sous-classe de felin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20110-20110 |
DomesticCat est une sous-classe de felin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30394-30394 |
Lion est une sous-classe de felin |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30436-30436 |
Tiger est une sous-classe de felin |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1199-1199 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 673-673 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 207-207 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2357-2357 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 625-625 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 209-209 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 241-241 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 694-694 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 208-208 |
|