Organization(机构) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7607-7607 | 非盈利机构 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8508-8508 | 组织委员会 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16645-16645 | 政治机构 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16736-16736 | 宗教机构 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8521-8521 | 安全部门 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8450-8450 | 服务组织 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3265-3265 | 船员 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7019-7019 | 体育联盟 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | 股市 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3095-3095 | 运输当局 是 机构 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8538-8538 | 工会组织 是 机构 的 subclass |
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 |