No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30178-30188 |
例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12466-12473 |
例 Process and Combining 資源 Process and Object 結果 Process and Entity 持有期間 開始 何時 Process and 部分 Object and Entity 持有期間 結束 何時 Process and 部分 Object and Entity |
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. |
People.kif 310-342 |
例 年 and 年 Integer 等於 GeopoliticalArea 和 年 的出生預期 life 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 156-187 |
例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每一千的 migrants and RealNumber 等於 減法 Integer and Integer and 1 例 Entity and 年 Integer 持有期間 年 and 等於 GeopoliticalArea 的 population and RealNumber 等於 部 RealNumber and 1000 and RealNumber 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 Integer and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 持有期間 Entity and 棲息 SymbolicString and GeopoliticalArea 持有期間 年 and 棲息 SymbolicString and GeopoliticalArea 等於 減法 Integer and Integer and RealNumber 等於 部 RealNumber and RealNumber and RealNumber |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 751-762 |
attribute Object and 和弦音樂 Process Process 例 Object and MakingMusic 例 Process and MakingMusic 例 Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4711-4720 |
attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域 距離 Physical, Object and 測量 RealNumber and 海裡 比較多 RealNumber and 5.0 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23061-23076 |
Human Human 是 cousins 女人 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Human 的 grandmother 是 女人 Human 的 grandfather 是 人 Organism Organism 母親 Human and Organism 父親 Human and Organism 母親 Human and Organism 父親 Human and Organism |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30132-30140 |
持有期間 TimePosition and attribute entity and Barefoot 持有期間 TimePosition and entity 例 entity and 鞋 穿 entity and entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30145-30153 |
持有期間 TimePosition and attribute entity and Naked 持有期間 TimePosition and entity 例 entity and Clothing 穿 entity and entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30223-30236 |
持有期間 TimeInterval and attribute Entity and Alone Entity2 Process 等於 Entity and Entity2 例 Entity2 and AutonomousAgent 例 Process and SocialInteraction 期間 何時 Process and TimeInterval Entity 是事件 Process 的 involved Entity2 是事件 Process 的 involved |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30271-30279 |
持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6478-6488 |
例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 294-306 |
LengthMeasure 是 GeographicArea 的未分類規格軌道 length length 卡帕 SymbolicString and 位於 SymbolicString and GeographicArea 例 SymbolicString and 聯盟 標準軌距鐵路 and 聯盟 寬軌鐵路 and 聯盟 DualGaugeRailway and 窄軌鐵路 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30296-30310 |
方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13850-13857 |
模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17416-17418 |
模態屬性 Formula and 必要性 模態屬性 Formula and 可能性 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17479-17481 |
模態屬性 Formula and 義務 模態屬性 Formula and 允許 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17515-17517 |
模態屬性 Formula and 禁令 模態屬性 Formula and 允許 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9119-9122 |
方位 Object, Object and 外 部分位於 Object and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23152-23159 |
人 是 Human 的 stepfather Human 母親 Human and Human 人 是 Human 的 spouse 父親 Human and 人 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23169-23176 |
女人 是 Human 的 stepfather Human 父親 Human and Human 女人 是 Human 的 spouse 母親 Human and 女人 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14091-14098 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14055-14058 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |