No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15987-15987 |
Formal meeting is a subclass of meeting |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15982-15982 |
Social party is a subclass of meeting |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1207-1207 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1631-1631 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 885-885 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 418-418 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 421-421 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2569-2569 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 837-837 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 423-423 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 457-457 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 906-906 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 422-422 |
|