| 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 | 子類 Organization and Group |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16610-16610 | 子類 Organization and AutonomousAgent |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2611-2611 | 子類 CrossFunctionalTeam and Organization |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2781-2781 | 子類 CustomerSupport and Organization |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3095-3095 | 子類 運輸當局 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3265-3265 | 子類 船員 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 966-966 | 子類 MarchingBand and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 942-942 | 子類 Club and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7019-7019 | 子類 體育聯盟 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7578-7578 | 子類 溝通組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7594-7594 | 子類 媒體組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7607-7607 | 子類 非盈利機構 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7624-7624 | 子類 護理組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8437-8437 | 子類 佣金 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8450-8450 | 子類 服務組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8508-8508 | 子類 組織委員會 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8521-8521 | 子類 安全部門 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8538-8538 | 子類 工會組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16180-16180 | 子類 Business and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16645-16645 | 子類 PoliticalOrganization and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16678-16678 | 子類 政府組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16724-16724 | 子類 司法組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16731-16731 | 子類 EducationalOrganization and Organization |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16736-16736 | 子類 ReligiousOrganization and Organization |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1707-1707 | 子類 CopyrightAuthority and Organization |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1741-1741 | 子類 HotelFrontDesk and Organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1924-1924 | 子類 立法組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2510-2510 | 子類 國際組織 and Organization |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2754-2754 | 子類 冶金廠 and Organization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | 子類 金融機構 and Organization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1754-1754 | 子類 股市 and Organization |
|
|