or - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42384-42384
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42383-42383
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42382-42382

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24713-24720	位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	CognitiveAgent 有義務去做在協議的 Proposition DeonticAttribute 等於 DeonticAttribute and 義務等於 DeonticAttribute and 諾言模態屬性 entity 實現 entity and Proposition agent entity and CognitiveAgent and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	attribute AutonomousAgent and 作家例 Entity and ContentBearingObject 子類 ContentBearingObject and Text 子類 ContentBearingObject and Document 例 Process and Writing agent Process and AutonomousAgent 結果 Process and Entity 作者 AutonomousAgent and ContentBearingObject
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 367-385	breathingRate AutonomousAgent, TimeInterval and Integer 例 TimeInterval and Minute Integer 例 Integer and RecreationOrExercise agent Integer and AutonomousAgent 期間 TimeInterval and 何時 Integer 持有期間 TimeInterval and attribute AutonomousAgent and 人類成人比較多 Integer and 16 少於 Integer and 12 持有期間 TimeInterval and attribute AutonomousAgent and Healthy
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2112-2121	GeopoliticalArea 是對於 TimeInterval 在其間 PhysicalQuantity 的 electricity 消耗子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea annual 的電力輸入
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	等於路徑重量 GraphPath and RealNumber 圖形部分 GraphArc and GraphPath 圖形部分 GraphArc and GraphPath 弧重 GraphArc and RealNumber 弧重 GraphArc and RealNumber GraphElement 圖形部分 GraphElement and GraphPath 等於 GraphElement and GraphArc 等於 GraphElement and GraphArc 等於路徑重量 GraphPath and 加成 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	等於路徑重量 GraphPath and RealNumber 子圖 GraphPath and GraphPath 圖形部分 GraphArc and GraphPath 弧重 GraphArc and RealNumber GraphElement 圖形部分 GraphElement and GraphPath 圖形部分 GraphElement and GraphPath 等於 GraphElement and GraphArc 等於 RealNumber and 加成路徑重量 GraphPath and RealNumber
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	等於 Object and OrganicObjectFn Object 子類 Object and OilFromPlant 子類 Object and 種子子類 Object and 水果 Object 子類 Object and FloweringPlant %每個 Object 是 Object 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure export 全部子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸出
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	Physical 是 free 對於顧客出租 HotelFunctionRoom 例 Entity and HotelFunctionRoom 元件 Entity and 屬性 AutonomousAgent 例 Process and 租患者 Process and Entity 目的地 Process and CognitiveAgent 例 Object and Physical 擁有 AutonomousAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 例 Object and Process agent Object and CognitiveAgent 體驗者 Object and CognitiveAgent 擁有 AutonomousAgent and Object 例 Object and Object 使用 Object and CognitiveAgent Object 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	Physical 的使用是對於 AutonomousAgent 免費例 Process and Physical AutonomousAgent 是 CognitiveAgent 的 customer 例 Process and Process agent Process and CognitiveAgent 體驗者 Process and CognitiveAgent 擁有 AutonomousAgent and Process 例 Process and Object 使用 Process and CognitiveAgent Process 是對於 AutonomousAgent 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1838-1860	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1862-1884	持有期間 TimePosition and attribute Object and LateralRecumbant 方位 Object, Object and 上例 Object and LeftArm 部分 Object and Object 例 Object and RightArm 部分 Object and Object 例 Object and LeftLeg 部分 Object and Object 例 Object and RightLeg 部分 Object and Object 空間的符合 Object and Object 空間的符合 Object and Object 持有期間 TimePosition and 空間的符合 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力消耗例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是對於 TimeInterval 在其間 PhysicalQuantity 的 electricity 消耗
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力輸出例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea annual 的電力輸入例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 輸出
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	持有期間 TimePosition and PhysicalQuantity 是 GeopoliticalArea 的 annual 電力生產例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 是對於 TimeInterval 在週期 PhysicalQuantity 的 electricity 生產
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸出例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure export 全部
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 annual 總共輸入例 TimePosition and TimeInterval 子類 TimeInterval and 年子類 TimeInterval and GeopoliticalArea 的 fiscal 年 GeopoliticalArea 對於 TimeInterval 在週期 CurrencyMeasure import 全部

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.	Merge.kif 4768-4779	等於絕對值 RealNumber and NonnegativeRealNumber 例 RealNumber and RealNumber 例 NonnegativeRealNumber and RealNumber 例 RealNumber and NonnegativeRealNumber 等於 RealNumber and NonnegativeRealNumber 例 RealNumber and NegativeRealNumber 等於 NonnegativeRealNumber and 減法 0.0 and RealNumber
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.	Merge.kif 1885-1889	大於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1601-1607	持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11682-11689	例 Object and Bone Object 例 Object and 骨架例 Object and 外骨骼部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3504-3513	例 Entity and Continent 等於非洲 and Entity 等於北美 and Entity 等於南美洲 and Entity 等於南極洲 and Entity 等於歐洲 and Entity 等於亞洲 and Entity 等於大洋洲 and Entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3488-3494	例 Entity and 半球等於 Entity and 北半球等於 Entity and 南半球等於 Entity and 東半球等於 Entity and 西半球
No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	例 Organization and 政府組織例 Organization and Government Organization 例 Organization and Government 子組織 Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1867-1871	小於或等於 RealNumber and RealNumber 等於 RealNumber and RealNumber 少於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17103-17107	方位 Object, Object and 鄰方位 Object, Object and 近連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17091-17095	方位 Object, Object and 下面方位 Object, Object and 上方位 Object, Object and 以上
No TPTP formula. May not be expressible in strict first order.	Government.kif 738-753	Proposition agreement 對於 Proposition 的修改日期 TimePosition TimePosition 例 TimePosition and TimePosition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition 持有期間不久的過去 TimePosition and 次提案 Proposition and Proposition 持有期間眼前的未來 TimePosition and 次提案 Proposition and Proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	金融賬戶對於 TimePosition 到期的 amount CurrencyMeasure CognitiveAgent 持有 account 金融賬戶持有義務卡帕 SymbolicString and 例 SymbolicString and 付款 CurrencyMeasure 是 SymbolicString 的 transaction 總額目的地 SymbolicString and 金融賬戶的 currency 起源 SymbolicString and 金融賬戶的 currency 日期 SymbolicString and entity 之前或相等結束 entity and 開始 TimePosition and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	applicableRelation Object and Relation 例 Object and ObjectC 域 Relation, 1 and Class 等於 ObjectC and Class 子類 ObjectC and Class
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	attribute AutonomousAgent and Attribute 例 Attribute and 委任軍官級別 Process Object 例 Process and Managing agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軍事組織 attribute Object and 士兵
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2881-2897	attribute 協議 and FOK訂單 TimeInterval 是協議的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2917-2933	attribute 協議 and GTC訂單 TimeInterval 是協議的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單患者 Process and 協議等於何時 Process and TimeInterval 暫時重疊 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單患者 Process and 協議等於何時 Process and TimeInterval 飾面 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2854-2870	attribute 協議 and 國際奧委會訂單 TimeInterval 是協議的 agreement 週期 Process TimeInterval 例 Process and 填寫訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval Process TimeInterval 例 Process and 取消訂單患者 Process and 協議等於何時 Process and TimeInterval 啟動 TimeInterval and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25748-25761	attribute AutonomousAgent and Multilingual 例 Process and 說話 agent Process and AutonomousAgent 模態屬性 entity entity 例 entity and 口語人類語言例 entity and 口語人類語言等於 entity and entity 患者 Process and entity 患者 Process and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 boiling 點例 Entity and PureSubstance 持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 大於或等於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 加油站 Process 暫時重疊何時 Process and TimeInterval 例 Process and Boiling 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	AutonomousAgent 是 CognitiveAgent 的 customer 採用 AutonomousAgent and CognitiveAgent attribute AutonomousAgent and 旅客住宿 attribute CognitiveAgent and Porter 擁有 CognitiveAgent and Object 例 Object and 旅行集裝箱 Object Process 例 Object and HotelUnit 例 Process and 攜帶 agent Process and CognitiveAgent 目的地 Process and Object 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Object 例 Entity and Physical 賦予權利 entity 例 entity and Process 資源 entity and Entity 儀器 entity and Entity 患者 entity and Entity agent entity and CognitiveAgent 體驗者 entity and CognitiveAgent, AutonomousAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 522-538	AutonomousAgent 是 CognitiveAgent 的 customer AutonomousAgent 有 Physical 子類 Physical and Process 模態屬性 entity entity and entity 元件 entity and 屬性 AutonomousAgent agent entity and AutonomousAgent 患者 entity and CognitiveAgent 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 221-227	域 Relation, PositiveInteger and Class 域 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 244-250	域子類 Relation, PositiveInteger and Class 域子類 Relation, PositiveInteger and Class 子類 Class and Class 子類 Class and Class

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.

Military.kif 933-946

等於 GeopoliticalArea 和年每年的 reaching 軍事男性年齡 and 基數卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀等於 entity and 減法 entity and 1 持有期間年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea

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

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

KB Term:			Term intersection

English Word: