No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7606-7606 |
Nonprofit organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8507-8507 |
Organizational board is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16667-16667 |
Political organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16758-16758 |
Religious organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8520-8520 |
Security unit is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8449-8449 |
Service organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3265-3265 |
Ship crew is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7018-7018 |
Sports league is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1754-1754 |
Stock market is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3095-3095 |
Transportation authority is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8537-8537 |
Union organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1067-1067 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1345-1345 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 745-745 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 277-277 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 280-280 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2429-2429 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 697-697 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 316-316 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 766-766 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 281-281 |
|