| No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | 子類 SelfConnectedObject and Object |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | 子類 船舶集裝箱 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | 子類 舷梯 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | 子類 OrganicThing and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 子類 Substance and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | 子類 CorpuscularObject and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 子類 公交專用道 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | 子類 Food and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | 子類 水體 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | 子類 冰山 and SelfConnectedObject |
|
|