No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17073-17073 |
相反的屬性 以上 and 下面 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4475-4475 |
相反的屬性 AccountDeactivated and AccountActive |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2803-2803 |
相反的屬性 AcidicPH and BasicPH |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 522-522 |
相反的屬性 AppraisalAsBeingDisliked and AppraisalAsBeingLiked |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13607-13607 |
相反的屬性 聽得見 and Inaudible |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 336-336 |
相反的屬性 威權政權 and 多黨民主 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 391-391 |
相反的屬性 寬規, 標準規, 窄規 and 雙軌鐵路 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22232-22232 |
相反的屬性 平民 and 軍人 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4960-4960 |
相反的屬性 Clockwise and CounterClockwise |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 675-675 |
相反的屬性 電導率 and 抵抗力 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 435-435 |
相反的屬性 Conscious and Unconscious |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1638-1638 |
相反的屬性 容器滿了 and 空容器 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18093-18093 |
相反的屬性 死 and 活的 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29438-29438 |
相反的屬性 DeviceDamaged and DeviceNormal |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3644-3644 |
相反的屬性 設備上 and 設備關閉 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3645-3645 |
相反的屬性 設備打開 and 設備關閉 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25572-25572 |
相反的屬性 Dirty and Clean |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8656-8656 |
相反的屬性 下藥 and 清醒 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17991-17991 |
相反的屬性 乾 and 潮濕 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18190-18190 |
相反的屬性 胚胎 and 幼蟲 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16985-16985 |
相反的屬性 假 and 真正 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 285-285 |
相反的屬性 聯邦政府 and 威權政權 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 284-284 |
相反的屬性 聯邦政府 and 統一規則 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1849-1849 |
相反的屬性 FeelingAlert and FeelingTired |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1782-1782 |
相反的屬性 FeelingAtEase and FeelingRestless |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |