Organization(Organizacao) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7606-7606 | NonprofitOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8507-8507 | OrganizationalBoard e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16667-16667 | Organizacao Politica e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16758-16758 | Organizacao Religiosa e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8520-8520 | SecurityUnit e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8449-8449 | ServiceOrganization e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3265-3265 | ShipCrew e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7018-7018 | SportsLeague e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | StockMarket e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3095-3095 | TransportationAuthority e' uma sub-classe de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8537-8537 | UnionOrganization e' uma sub-classe de Organizacao |
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 |