| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | 关联属性 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2050-2050 | 时速级数属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1338-1338 | 机场分类 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 446-446 | 环境软件属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 783-783 | 过程状态 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1066-1066 | 优先级属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1089-1089 | 软件属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1332-1332 | 实时系统属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2116-2116 | 电脑状态 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 664-664 | 宗教属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 21-21 | 行业属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 363-363 | RecordingAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 473-473 | AlbumAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 501-501 | MusicGenre 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4097-4097 | BedAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19535-19535 | 政治经济属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25316-25316 | SizeAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30314-30314 | ConservationStatus 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31020-31020 | MeasurementAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1586-1586 | LegalAgent 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16991-16991 | 真值 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17017-17017 | 位置属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17185-17185 | 时区 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17261-17261 | 身分 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17313-17313 | 规范属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17636-17636 | 感知属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5381-5381 | GramStainAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6412-6412 | AVPUStatus 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 973-973 | HotelRoomAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1203-1203 | HotelLevelAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 803-803 | 法律制度属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2458-2458 | 会员身份 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6225-6225 | LandVegetationAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6802-6802 | 关注的区域 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 17-17 | PreparedFoodAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 447-447 | CoffeeRoastAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1058-1058 | CoffeeGrindAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1804-1804 | 投资属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1830-1830 | 流动性属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1850-1850 | 风险属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1868-1868 | 屈服属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2496-2496 | 财务评级 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3950-3950 | 服务属性 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4003-4003 | FinancialAccountStatus 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3780-3780 | 经济角色 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4180-4180 | PlantAttribute 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 1253-1253 | Cuisine 是 关联属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4360-4360 | AccountSecurityType 是 关联属性 的 subclass |
|
|