No TPTP formula. May not be expressible in strict first order. | Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5267-5276 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 281-292 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2692-2701 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18421-18442 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2019-2024 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 98-107 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2271-2278 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | 客体 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2068-2068 | 龙卷风损害 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4797-4797 | 二维物体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15250-15250 | 过境障碍 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24553-24553 | ContactSite 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25611-25611 | SphericalObject 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | 自身连接物体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | 地区 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | 群体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | 施事体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14022-14022 | 天文体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15681-15681 | 人工制品 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3866-3866 | Magnet 是 客体 的 subclass |