| No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1692-1698 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16604-16604 | 机构 是 群组 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | 机构 是 施事体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | CrossFunctionalTeam 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | CustomerSupport 是 机构 的 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. | Transportation.kif 3265-3265 | 船员 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | MarchingBand 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | Club 是 机构 的 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. | Mid-level-ontology.kif 7578-7578 | 沟通组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7594-7594 | 媒体组织 是 机构 的 subclass |
| 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 7624-7624 | 护理组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8437-8437 | 佣金 是 机构 的 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. | Mid-level-ontology.kif 8508-8508 | 组织委员会 是 机构 的 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 8538-8538 | 工会组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | Business 是 机构 的 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 16678-16678 | 政府组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | 司法组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16731-16731 | 教育机构 是 机构 的 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. | Media.kif 1707-1707 | CopyrightAuthority 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | HotelFrontDesk 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | 立法组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | 国际组织 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | 冶金厂 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | 金融机构 是 机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | 股市 是 机构 的 subclass |
|
|