No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 944-952	例 Collection and Club 會員 CognitiveAgent and Collection 會員 CognitiveAgent and Collection Formula 慾望 CognitiveAgent and Formula 慾望 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2887-2903	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and FinancialTransaction SymbolicString entity 等於 基數 卡帕 SymbolicString and 例 SymbolicString and Physical 例 entity and Buying 會員 entity and Collection 患者 entity and SymbolicString and 在 Collection 裡購買的樣品數量
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2845-2870	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing 等於 部 基數 entity entity and entity 卡帕 entity and 例 entity and WebListing 例 entity and WebSite 例 entity and Physical 會員 entity and Collection 患者 entity and entity entity 是在 entity hosted entity 例 entity and Buying 患者 entity and entity entity facilitates entity and 基數 Collection and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2922-2940	例 Collection and Collection Physical 會員 Physical and Collection 例 Physical and WebListing SymbolicString entity, entity and SymbolicString 等於 基數 卡帕 SymbolicString and 例 entity and Physical 例 entity and WebListing 例 SymbolicString and Bidding 會員 entity and Collection SymbolicString 是個 bid 對於 entity 患者 entity and entity and 在 Collection 的 bids 數字
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1033-1060	例 Collection and Collection 例 WebSite and WebSite 例 AutonomousAgent and AutonomousAgent 例 WebListing and WebListing 例 TimePoint and TimePoint AutonomousAgent sells WebListing 會員 WebListing and Collection Physical Physical 例 Physical and WebListing 會員 Physical and 樣品對於 sale 由 AutonomousAgent 在 WebSite 時間部分 TimePoint and 何時 Physical 等於 Physical and WebListing 會員 Physical and Collection 會員 Physical and Collection 時間部分 TimePoint and 何時 Physical 例 Physical and WebListing 等於 東西對於 sale 由 AutonomousAgent 非列在 WebListing 在 WebSite 期間 TimePoint and Collection
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	例 Collection and Collection Chromosome 是 Collection 的 member 類別 會員 Object and Collection 部分 Object and CommonWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 EmmerWheatGrass 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsTauschii 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	例 Collection and Collection Chromosome 是 Collection 的 member 類別 會員 Object and Collection 部分 Object and DurumWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 TriticumUrartu 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsSpeltoides 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	例 Collection and Collection Chromosome 是 Collection 的 member 類別 會員 Object and Collection 部分 Object and EmmerWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 EinkornWheatGrass 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 718-730	例 Collection and MonoploidChromosomeSet Chromosome 是 Collection 的 member 類別 位於 Collection and Object 例 Object and 細胞核 部分 Object and 真核細胞 會員 Chromosome and Collection 會員 Chromosome and Collection 等於 Chromosome and Chromosome homologousChromosome Chromosome and Chromosome
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1778-1792	例 Object and CompoundSubstance 子類 CompoundSubstance and CompoundSubstance Object 例 Object and CompoundSubstance 部分 Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance 例 Collection and Group 會員 Object and Collection 部分 Object and Object 例 Object and ElementalSubstance Integer 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2673-2682	例 Process and 示範 agent Process and AutonomousAgent 會員 CognitiveAgent and AutonomousAgent 會員 CognitiveAgent and AutonomousAgent Formula 相信 CognitiveAgent and Formula 相信 CognitiveAgent and Formula
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1458-1467	例 Collection and Eyebrow attribute Object and Healthy 部分 Collection and Object 會員 Physical and Collection ObjectAIR 例 ObjectAIR and 頭髮 部分 ObjectAIR and Collection
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1450-1456	例 Collection and Eyebrow attribute Object and Healthy 部分 Collection and Object 會員 Physical and Collection 2 是 Collection 的 member 計數
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1351-1355	例 Collection and 電腦目錄 會員 Physical and Collection 例 Physical and 電腦文件
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 285-296	例 Collection and 軍事力量 例 AutonomousAgent and Human 例 Process and 監禁 會員 AutonomousAgent and Collection agent Process and AutonomousAgent 患者 Process and AutonomousAgent enemy AutonomousAgent and AutonomousAgent Process 是 located 在 Object attribute Object and 戰爭狀態 attribute AutonomousAgent and 戰俘
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1344-1348	例 Collection and 文件系統 會員 Physical and Collection 例 Physical and 電腦文件
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1060-1064	例 Collection and 高爾基體 會員 Physical and Collection 例 Physical and 細胞部分
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1083-1087	例 Collection and 細胞內膜組 會員 Physical and Collection 例 Physical and 細胞膜內部
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18813-18819	例 Entity and 戲劇性的演員 持有期間 TimePosition and 會員 entity and Entity 持有期間 TimePosition and attribute entity and Actor
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16250-16254	例 Collection and Group 會員 Physical and Collection 例 Physical and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16260-16264	例 Collection and 一群人 會員 Physical and Collection 例 Physical and Human
No TPTP formula. May not be expressible in strict first order.	Media.kif 1771-1780	例 Entity and 音樂團體 持有期間 TimePosition and 會員 entity and Entity Entity 例 Entity and 音樂家 持有期間 TimePosition and attribute entity and Entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	例 Collection and 一群人 會員 CognitiveAgent and Collection 會員 Physical and Collection 例 Physical and 人類寶貝 例 CognitiveAgent and 人類成人 例 Entity and Crib 在感興趣的範圍內 CognitiveAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7022-7026	例 Collection and 體育聯盟 會員 Physical and Collection 例 Physical and 運動隊
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7939-7946	例 Process and LargeGroupProcess 例 Collection and Collection 會員 Physical and Collection Physical 是事件 Process 的 involved Integer 是 Collection 的 member 計數 比較多 Integer and 10
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