Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  not

Sigma KEE - not
not

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41283-41283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41282-41282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41281-41281

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 Process and 退出 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶currency Process Process and 罰款 目的地 Process and 金融賬戶currency 原因 Process and Process 金融賬戶liqudity高流動性
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. Economy.kif 506-510
No TPTP formula. May not be expressible in strict first order. Dining.kif 1165-1176
No TPTP formula. May not be expressible in strict first order. Medicine.kif 172-187
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12537-12547
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2693-2704
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2665-2676
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
No TPTP formula. May not be expressible in strict first order. Merge.kif 9715-9720
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Medicine.kif 234-249
No TPTP formula. May not be expressible in strict first order. Dining.kif 1148-1156
No TPTP formula. May not be expressible in strict first order. Merge.kif 9554-9560
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 32-46
No TPTP formula. May not be expressible in strict first order. Merge.kif 476-484
No TPTP formula. May not be expressible in strict first order. Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1347-1358
No TPTP formula. May not be expressible in strict first order. Merge.kif 4861-4872
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Merge.kif 4946-4956
No TPTP formula. May not be expressible in strict first order. Merge.kif 4958-4972

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


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 等於 GeopoliticalAreamale 出生估計壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 and Integer 等於 GeopoliticalAreafemale 出生預期壽命 and RealNumber List Integer, SymbolicString, entity, entity and entity List and List 列表長度 List and Integer ListITEM RealNumber Listaverage
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 Listaverage
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 等於 GeopoliticalAreapopulation 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 Humancousins 女人 Humangrandmother 女人 Humangrandfather Humangrandmother 女人 Humangrandfather 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 是事件 Processinvolved Entity2 是事件 Processinvolved
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 Formulaconsistent
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 Humanstepfather Human 母親 Human and Human Humanspouse 父親 Human and
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23169-23176 女人 Humanstepfather Human 父親 Human and Human 女人 Humanspouse 母親 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

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2546-2550 持有期間 未來 TimePosition and TimePosition and 3 and June and 2006 塞爾維亞和黑山 and 獨立國家

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2011-2015 ~{ GUIElementstate GUE_NonVisibleState } ~{ GUIElementstate GUE_ActiveState } ~{ GUIElement and InterfaceWindow }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2226-2229 ~{ GUIElement and Cursor } ~{ GUIElementstate GUE_SelectedState }
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1952-1955 ~{ GUIElement and MouseCursor } ~{ GUIElementstate GUE_ActiveState }
No TPTP formula. May not be expressible in strict first order. Government.kif 2915-2915 等於 大六 and 6人小組
No TPTP formula. May not be expressible in strict first order. Merge.kif 6099-6106 GraphPath GraphPath GraphPath and 切集 Graph GraphPath and 最小割集 Graph 路徑長度 GraphPath and PositiveInteger 路徑長度 GraphPath and PositiveInteger 少於 PositiveInteger and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 會員 丹麥 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 會員 瑞典 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 會員 英國 and 歐洲貨幣聯盟
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7891-7891 暫時重疊 共同時代 and 共同的時代之前
No TPTP formula. May not be expressible in strict first order. Geography.kif 3585-3585 植物樹found北極地區


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners