No TPTP formula. May not be expressible in strict first order. |
People.kif 1229-1229 |
ChurchOfEngland e' uma instancia de Organizacao Religiosa |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1279-1279 |
RomanCatholicChurch e' uma instancia de Organizacao Religiosa |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1212-1212 |
Abbey e' uma sub-classe de Organizacao Religiosa |
No TPTP formula. May not be expressible in strict first order. |
People.kif 801-801 |
Church e' uma sub-classe de Organizacao Religiosa |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7926-7926 |
MissionOrganization e' uma sub-classe de Organizacao Religiosa |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1072-1072 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1355-1355 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 750-750 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 282-282 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 285-285 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2434-2434 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 702-702 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 321-321 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 771-771 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 286-286 |
|