No TPTP formula. May not be expressible in strict first order.	Cars.kif 1928-1933	compressionRatio 發動機 and RealNumber minCylinderVolume 發動機 and 測量 RealNumber and UnitOfMeasure maxCylinderVolume 發動機 and 測量 UnitOfMeasureAX and UnitOfMeasure 等於 RealNumber and 部 RealNumber and UnitOfMeasureAX
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.	Economy.kif 3661-3666	TimeInterval 是 CurrencyMeasure 的 currency 交換 每美元 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 美國美元 的 currency 交換匯率
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3668-3673	UnitOfCurrency 對於 TimeInterval 在週期 CurrencyMeasure 的 currency 交換匯率 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 UnitOfCurrency 的 currency 交換匯率
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7727-7733	AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2781-2786	Object 是 LengthMeasure above 地表 SelfConnectedObject 高度 Object, SelfConnectedObject and LengthMeasure 表面 SelfConnectedObject and 行星地球
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2819-2824	GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 的 economic 間贈補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 economic 捐贈補助
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2859-2864	GeopoliticalArea 是 對於 TimeInterval 在期間 CurrencyMeasure 總共收到的 economic 補助 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 總共收到的 economic 補助
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2056-2061	GeopoliticalArea 是 對於 RealNumber 和 TimeInterval 在週期 發電 從來源的 electricity 分支 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea is 對於 RealNumber 從來源 發電 的 electricity 分支
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3260-3266	採用 協議 and 協議 CognitiveAgent 屬性 CognitiveAgent and 僱用 協議 是 CognitiveAgent 的 party 協議 協議 是 CognitiveAgent 的 party 協議
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.	People.kif 1547-1558	RealNumber percent 的人在 GeographicArea 是 EthnicGroup Collection Collection, Physical, Physical, RealNumber1 and RealNumber2 位於 Physical and GeographicArea 會員 Physical and EthnicGroup 會員 Physical and Collection RealNumber1 是 Collection 的 member 計數 位於 Physical and GeographicArea 會員 Physical and Collection RealNumber2 是 Collection 的 member 計數 等於 部 RealNumber and 100 and 部 RealNumber1 and RealNumber2
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2549-2554	GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由部分 export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由部分 GeopoliticalArea export 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2511-2516	GeopoliticalArea 對 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea export 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2387-2392	AutonomousAgent 對於 TimeInterval 在週期 AutonomousAgent export 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 export 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2775-2780	GeopoliticalArea 是 對於 TimeInterval 在週期 CurrencyMeasure 的 external 債務 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and CurrencyMeasure 是 GeopoliticalArea 的 external 債務
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1279-1284	RealNumber 是對於 GeopoliticalArea 在週期 RealNumber 的 highest 平分家庭收入 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and RealNumber 是 GeopoliticalArea 的 highest 平分家庭收入
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.	Economy.kif 2742-2747	GeopoliticalArea 對 PositiveRealNumber 和 TimeInterval 在週期 GeopoliticalArea 由一部分 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由一部分 GeopoliticalArea import 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2704-2709	GeopoliticalArea 對於 PositiveInteger 和 TimeInterval 在週期 GeopoliticalArea 由階級 import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea import 夥伴
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2674-2679	AutonomousAgent 對於 TimeInterval 在 週期 AutonomousAgent import 夥伴 TimePosition 例 TimePosition and TimeInterval 持有期間 TimePosition and AutonomousAgent 是 AutonomousAgent 的 import 夥伴
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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