No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24495-24497	SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString 等於 SymbolicString and SymbolicString 和 SymbolicString 的 concatenation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24465-24467	SymbolicString 是 NonnegativeInteger characters long 等於 NonnegativeInteger and SymbolicString 的 length
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5421-5425	元件 Entity and Set 元件 Entity and Set 等於 Set and Set
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	amount Substance, CorpuscularObject and 測量 RealNumber and UnitOfMass 例 SubstanceI and Substance 測量 SubstanceI and 測量 RealNumber and UnitOfMass 部分 SubstanceI and CorpuscularObject List 在列表中 測量 RealNumber and UnitOfMass and List 等於 List and AmountsFn Substance, CorpuscularObject and UnitOfMass 等於 RealNumber and ListSumFn List
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31383-31390	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.	Mid-level-ontology.kif 17947-17958	SelfConnectedObject 的 approximate diameter 是 測量 RealNumber and RealNumberM Object 的 radius 是 測量 部 RealNumber and 2.0 and RealNumberM 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 SelfConnectedObject and 測量 RealNumber and UnitOfMeasure 例 RealNumberM and UnitOfLength 例 UnitOfMeasure and UnitOfVolume 等於 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	attribute CognitiveAgent and AppraisalAsJustTreatment 例 CognitiveAgentJT and AppraisalProcess agent CognitiveAgentJT and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentJT and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	attribute CognitiveAgent and AppraisalAsUnjustTreatment 例 CognitiveAgentUJ and AppraisalProcess agent CognitiveAgentUJ and CognitiveAgent Process CognitiveAgent 例 Process and Process 參照 CognitiveAgentUJ and Process agent Process and CognitiveAgent 等於 CognitiveAgent and CognitiveAgent 患者 Process and CognitiveAgent 想要 CognitiveAgent and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29495-29507	attribute Object and Collectible 有目的 Object and Formula CognitiveAgent Formula 例 CognitiveAgent and Human 想要 CognitiveAgent and Object 慾望 CognitiveAgent and Formula 意味 Formula and 擁有 CognitiveAgent and Object 等於 Formula and Formula
No TPTP formula. May not be expressible in strict first order.	Music.kif 426-436	attribute Object and MashupRecording 例 Object and Recording Object Object, Music and Music Object 是 Music 的 recording Object 是 Music 的 recording 等於 Music and Music 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 444-449	attribute 音樂錄音 and RemixRecording 例 音樂錄音 and 音樂錄音 音樂錄音 CognitiveAgent 等於 音樂錄音 and 音樂錄音 的 remix 由 CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Music.kif 457-470	attribute 音樂錄音 and CoverRecording 例 音樂錄音 and 音樂錄音 CognitiveAgent 是 performer 在 音樂錄音 音樂錄音 是 Music 的 recording 音樂錄音 是個 MusicM 的 record 音樂錄音 CognitiveAgentRTIST and MusicUSIC 音樂錄音 是 Music 的 recording CognitiveAgentRTIST 是 performer 在 音樂錄音 等於 CognitiveAgent and CognitiveAgentRTIST 音樂錄音 是個 MusicUSIC 的 record 之前 何時 MusicUSIC and 何時 MusicM
No TPTP formula. May not be expressible in strict first order.	Government.kif 1977-1985	attribute Organization and 一院制立法機關 GeopoliticalArea 是 Organization 的 legislative 分支 例 Organization and 立法院 子組織 Organization and 政府 GeopoliticalArea 例 Organization and 立法院 子組織 Organization and 政府 GeopoliticalArea 等於 Organization and Organization
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.	FinancialOntology.kif 2008-2029	attribute FinancialTransaction and 限價訂單 協議 是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是 對於 安全 的 order Buying 測量 安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 例 UnitOfMeasure and UnitOfCurrency AutonomousAgent 為了 安全 asks 測量 RealNumber and UnitOfMeasure 小於或等於 RealNumber and RealNumber 持有義務 卡帕 SymbolicString and 例 SymbolicString and Buying 患者 SymbolicString and 安全 測量 安全 and PhysicalQuantity 等於 何時 SymbolicString and SymbolicStringingTime 暫時重疊 AutonomousAgent and SymbolicStringingTime and 協議
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	attribute FinancialTransaction and 限價訂單 協議 是 FinancialTransaction 的 party 協議 attribute 協議 and 經紀人 FinancialTransaction 是 對於 安全 的 order Selling 測量 安全 and PhysicalQuantity 測量 RealNumber and UnitOfMeasure 是 FinancialTransaction 的 limit 價格 AutonomousAgent bids 測量 RealNumber and UnitOfMeasure 對於 安全 例 UnitOfMeasure and UnitOfCurrency 大於或等於 RealNumber and RealNumber 持有義務 卡帕 SymbolicString and 例 SymbolicString and Selling 患者 SymbolicString and 安全 測量 安全 and PhysicalQuantity 等於 何時 SymbolicString and SymbolicStringingTime 暫時重疊 SymbolicStringingTime and AutonomousAgent and 協議
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19452	attribute Object and 強調 例 Object and Word 部分 Object and Object Object 例 Object and 音節 部分 Object and Object attribute Object and 強調 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1207-1224	attribute Object and CommunalAttribute 例 Object and 表 例 Process and Eating agent Process and AutonomousAgent 例 AutonomousAgent and 一群人 Process 是 located 在 Object 模態屬性 entity entity and Object2 例 entity and Eating agent entity and entity 等於 AutonomousAgent and entity 例 entity and 一群人 entity 是 located 在 Object2 短暫相遇 何時 Process and 何時 entity 等於 Object and Object2 and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25736-25749	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.	Hotel.kif 1003-1014	attribute Object and Suite 例 Object and HotelUnit Object Object 例 Object and HotelRoom 例 Object and HotelRoom 方位 Object, Object and 內 方位 Object, Object and 內 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24235-24245	Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Day Integer Human 的 birthday 是 Day 子類 Day and Day 例 Integer and Integer 等於 Day and 天 PositiveInteger and 月 Month and 年 Integer 比較多 Integer and Integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 828-835	chromosomeSetCount MonoploidChromosomeSet, Collection and Integer 子集合 MonoploidChromosomeSet and Collection 等於 Integer and 基數 卡帕 Integer and 子集合 MonoploidChromosomeSet and Collection
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 32-46	connectedBodyPartTypes BodyPart, BodyPart and Organism 例 OrganismC and Organism attribute Object and DiseaseOrSyndrome Object Object 例 Object and BodyPart 例 Object and BodyPart 等於 Object and Object 部分 Object and OrganismC 部分 Object and OrganismC 連接的 Object and Object
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