Organization(organization) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7607-7607 | Nonprofit organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8508-8508 | Organizational board is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16645-16645 | Political organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16736-16736 | Religious organization is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8521-8521 | Security unit is a subclass of organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8450-8450 | 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 7019-7019 | 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 8538-8538 | 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 |