RelationalAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1725-1726 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1817-1819 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 332-334 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | 子類 RelationalAttribute and Attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 15-15 | attribute Tourniquet and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14108-14108 | 例 ActiveAgreement and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15227-15227 | 例 AdjoiningRoom and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1174-1174 | 例 AllWheelDrive and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30220-30220 | 例 Alone and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2588-2588 | 例 BadAirQuality and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30175-30175 | 例 Bare and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30129-30129 | 例 Barefoot and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 754-754 | 例 失去親人的父親 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 768-768 | 例 失去親人的母親 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14377-14377 | 例 Blank and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1700-1700 | 例 Breakfast and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1844-1844 | 例 Brunch and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30158-30158 | 例 Clothed and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30312-30312 | 例 Cloudy and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29465-29465 | 例 CoinOperated and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29502-29502 | 例 Collectible and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27156-27156 | 例 CommunalAttribute and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1719-1719 | 例 電腦用戶 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1620-1620 | 例 空容器 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1637-1637 | 例 容器滿了 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30658-30658 | 例 Dieting and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1788-1788 | 例 Dinner and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27120-27120 | 例 Domestic and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1877-1877 | 例 EKGAbnormal and RelationalAttribute |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 295-295 | 域 albumType, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2436-2436 | 域 與地位相關聯, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 764-764 | 域 colocatedAgent, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1552-1552 | 域 includedMeal, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 628-628 | 域 orgStaff, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 461-461 | 域 roomAttribute, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 261-261 | 域 someRoomsAttribute, 2 and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | 劃分 Attribute, InternalAttribute and RelationalAttribute |