| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | 子類 RelationalAttribute and Attribute |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2054-2054 | 子類 SpeedScaleAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1338-1338 | 子類 機場分類 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 446-446 | 子類 環境軟件屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 783-783 | 子類 過程狀態 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1066-1066 | 子類 優先級屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1089-1089 | 子類 軟件屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1332-1332 | 子類 實時系統屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2116-2116 | 子類 電腦狀態 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 664-664 | 子類 宗教屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | 子類 行業屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 363-363 | 子類 RecordingAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 473-473 | 子類 AlbumAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 501-501 | 子類 MusicGenre and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4097-4097 | 子類 BedAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19536-19536 | 子類 政治經濟屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25317-25317 | 子類 SizeAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30326-30326 | 子類 ConservationStatus and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31032-31032 | 子類 MeasurementAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | 子類 LegalAgent and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16969-16969 | 子類 TruthValue and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16995-16995 | 子類 PositionalAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17163-17163 | 子類 TimeZone and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17239-17239 | 子類 SocialRole and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | 子類 NormativeAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17614-17614 | 子類 PerceptualAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5381-5381 | 子類 GramStainAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | 子類 AVPUStatus and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 973-973 | 子類 HotelRoomAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1203-1203 | 子類 HotelLevelAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 803-803 | 子類 法律制度屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | 子類 會員身份 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6225-6225 | 子類 LandVegetationAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | 子類 關注的區域 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 17-17 | 子類 PreparedFoodAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 447-447 | 子類 CoffeeRoastAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1058-1058 | 子類 CoffeeGrindAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1804-1804 | 子類 投資屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1830-1830 | 子類 流動性屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1850-1850 | 子類 風險屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1868-1868 | 子類 屈服屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2496-2496 | 子類 財務評級 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3950-3950 | 子類 服務屬性 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4003-4003 | 子類 FinancialAccountStatus and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3780-3780 | 子類 經濟角色 and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4180-4180 | 子類 PlantAttribute and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | 子類 Cuisine and RelationalAttribute |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | 子類 AccountSecurityType and RelationalAttribute |
|
|