No TPTP formula. May not be expressible in strict first order. |
People.kif 357-390 |
例 年 and 年 年EAR 等於 GeopoliticalArea 和 年 的 male 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average |
No TPTP formula. May not be expressible in strict first order. |
People.kif 403-436 |
例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的 female 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity 例 List and List 例 列表長度 List and Integer ListITEM RealNumber 是 List 的 average |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1400-1404 |
attribute Object and 女王 attribute Object and QueenRegnant attribute Object and QueenConsort |
No TPTP formula. May not be expressible in strict first order. |
People.kif 206-223 |
等於 GeopoliticalArea 的 male 對母性比率 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 女 棲息 SymbolicString and GeopoliticalArea 等於 部 Integer and Integer and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1783-1787 |
hearingAcuity Human, 測量 -10 and Decibel and 測量 15 and Decibel attribute Human and NormalHearingSensitivity |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1794-1798 |
hearingAcuity Human, 測量 16 and Decibel and 測量 25 and Decibel attribute Human and BorderlineHearingSensitivity |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1805-1809 |
hearingAcuity Human, 測量 26 and Decibel and 測量 40 and Decibel attribute Human and MildHearingLoss |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1815-1819 |
hearingAcuity Human, 測量 41 and Decibel and 測量 55 and Decibel attribute Human and ModerateHearingLoss |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1826-1830 |
hearingAcuity Human, 測量 56 and Decibel and 測量 70 and Decibel attribute Human and ModeratelySevereHearingLoss |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1837-1841 |
hearingAcuity Human, 測量 71 and Decibel and 測量 90 and Decibel attribute Human and SevereHearingLoss |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1848-1852 |
hearingAcuity Human, 測量 91 and Decibel and 測量 200 and Decibel attribute Human and ProfoundHearingLoss |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17254-17262 |
持有期間 TimePosition and 例 entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20200-20204 |
例 Object and 公牛 例 Object and 牛 attribute Object and 女 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20218-20222 |
例 Object and 公牛 例 Object and 牛 attribute Object and 男 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20209-20213 |
例 Object and 小牛 例 Object and 牛 attribute Object and 沒有完全形成 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30094-30098 |
例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20232-20236 |
例 Object and 母雞 例 Object and 雞 attribute Object and 女 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8979-8983 |
例 Object and 冰 例 Object and Water attribute Object and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20186-20190 |
例 Object and 羔羊 例 Object and 羊 attribute Object and 沒有完全形成 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20241-20245 |
例 Object and 公雞 例 Object and 雞 attribute Object and 男 |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2768-2770 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16852-16861 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20760-20767 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18837-18843 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |