Organism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14356-14356	不相交的 Organism and Artifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3372-3372
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14358-14359
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6747-6747
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7483-7483
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7484-7484
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7485-7485
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7487-7487
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14357-14357	劃分 Organism, Animal, Plant, Fungus and Microorganism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14355-14355	子類 Organism and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14354	子類 Organism and OrganicObject

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14348-14348	劃分 OrganicObject, Organism and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	子類 Animal and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14425-14425	子類 Fungus and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 234-234	子類基因工程生物 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14451-14451	子類 Microorganism and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5888-5888	子類 Parasite and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14399-14399	子類 Plant and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	子類有毒生物 and Organism
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 964-964
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1135-1135
No TPTP formula. May not be expressible in strict first order.	french_format.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 172-172
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 175-175
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2325-2325
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 593-593
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 209-209
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 662-662
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 176-176

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31727-31727	域 OrganismPopulationFn, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16350-16350	域祖先, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16351-16351	域祖先, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 506-506	域 coreBodyTemp, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16438-16438	域女兒, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16439-16439	域女兒, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16332-16332	域家庭關係, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16333-16333	域家庭關係, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16426-16426	域父親, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16427-16427	域父親, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14370-14370	域棲息, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16409-16409	域母親, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16410-16410	域母親, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6277-6277	域寄生物, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6278-6278	域寄生物, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16365-16365	域親, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16366-16366	域親, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16311-16311	域相對的, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16312-16312	域相對的, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6448-6448	域 sheddingBodyPart, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16465-16465	域兄弟, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16466-16466	域兄弟, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16450-16450	域兒子, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16451-16451	域兒子, 2 and Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 87-87	域子類 AgentOfOrganismFn, 1 and Organism

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16324-16329	持有期間 TimePosition and 法律關係 Entity and Entity 例 Entity and Organism 例 Entity and Organism 持有期間 TimePosition and Entity 是 Entity 的 relative
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18117-18122	例 Object and ReproductiveBody 部分 Object and Object 例 Object and Organism attribute Object and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10222-10237	例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent Entity entity 結果 Process and Entity 例 Entity and OrganicObject 持有期間未來何時 Process and attribute Entity and 死持有期間眼前的未來何時 Process and 部分 entity and Entity 持有期間不久的過去何時 Process and 部分 entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 85-94	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 體驗者 Process and AutonomousAgent 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 74-83	例 Process and Death 例 Entity and OrganismRemains 例 AutonomousAgent and Organism 持有期間 TimeInterval and 部分 entity and Entity 持有期間 TimeInterval and 部分 entity and AutonomousAgent 早期 TimeInterval and TimeInterval 結果 Process and Entity 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	例 Device and 槍例 UnitOfMeasure and UnitOfLength 測量 RealNumber and UnitOfMeasure 是 Device 的 effective 範圍距離 Device, Object and 測量 RealNumber and UnitOfMeasure 例 Object and Organism Object 之間 Object, Object and Device 小於或等於 RealNumber and RealNumber SymbolicString 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and Object, 儀器 and Device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10449-10454	例 Process and Damaging 例 Entity and Organism 患者 Process and Entity 例 Process and Injuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 2548-2562	例 Object and Organism 例 Object and 蛋 attribute Object and 胚胎部分 Object and Object Physical 例 Physical and EggYolk 有目的 Physical and entity 例 entity and Ingesting agent entity and Object 資源 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18085-18089	例 AutonomousAgent and Organism agent Process and AutonomousAgent 持有期間何時 Process and attribute AutonomousAgent and 活的
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5210-5222	例 Entity and ForestProduct 例 Process and Manufacture 結果 Process and Entity 患者 Process and Entity 例 Entity and Organism Process Object 例 Process and 農業結果 Process and Entity Process 是 located 在 Object 例 Object and 森林
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6425-6434	例 Entity and SheddingPart Entity Entity and Entity 例 Entity and EntityRG 子類 EntityRG and Organism EntityART 例 Entity and 一個 dead EntityART %每個 EntityART 是 EntityRG 的 initially part
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6412-6423	例 Entity and SheddingPart Entity Object and Object 例 Object and Organism 例 Object and AnatomicalStructure 部分 Object and Object Process 例 Process and Removing 起源 Process and Object 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 58-65	例 Entity and OrganicObject 例 Process and Death 例 AutonomousAgent and Organism 體驗者 Process and AutonomousAgent 結果 Process and Entity 例 Entity and OrganismRemains
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15000-15005	例 Object and 動物解剖結構例 Object and Organism 部分 Object and Object 例 Object and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15011-15016	例 Object and 植物解剖結構例 Object and Organism 部分 Object and Object 例 Object and Plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14816-14821	例 Object and 動物物質例 Object and Organism 部分 Object and Object 例 Object and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14827-14832	例 Object and 植物物質例 Object and Organism 部分 Object and Object 例 Object and Plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16379-16384	親 Organism and Organism 子類 Class and Organism 例 Organism and Class 例 Organism and Class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10154-10156	例 Object and Organism 能力 BiologicalProcess, 體驗者 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12323-12325	例 Object and Organism 能力 Killing, agent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12329	例 Object and Organism 能力 Killing, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10149-10152	例 Object and Organism 能力 BiologicalProcess, agent and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18097-18102	例 Object and Organism Attribute 例 Attribute and AnimacyAttribute attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18158-18163	例 Object and Organism Attribute 例 Attribute and DevelopmentalAttribute attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 96-99	例 Physical and Organism 持有期間何時 Physical and attribute Physical and 活的

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.	WMD.kif 823-840	等於測量 RealNumber and McgPerKg and MassMeasure 是 MassMeasure 的 per 等於 MassMeasure and 測量 RealNumber and 微公克等於 MassMeasure and 測量 RealNumber and 千公克 Process SelfConnectedObject and SelfConnectedObject 例 Process and Ingesting 例 SelfConnectedObject and BiologicallyActiveSubstance 例 SelfConnectedObject and Organism 患者 Process and SelfConnectedObject agent Process and SelfConnectedObject MassMeasure 是 SelfConnectedObject 的 weight MassMeasure 是 SelfConnectedObject 的 weight
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Object 子類 OrganicObject and Organism 子類 OrganicObject and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
No TPTP formula. May not be expressible in strict first order.	WMD.kif 64-68	例 Process and 生化攻擊患者 Process and Entity 例 Entity and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14472-14476	例 Organism and Bacterium 棲息 Organism and Object 例 Object and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11554-11558	例 Process and 咀嚼資源 Process and Object 例 Object and food for Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14431-14435	例 Organism and Fungus 棲息 Organism and Object 例 Object and Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5847-5859	例 Process and Infecting 體驗者 Process and AutonomousAgent Motion Process and AutonomousAgent 例 Motion and 易位移動 Motion and AutonomousAgent 例 AutonomousAgent and Organism 例 Process and Replication 體驗者 Process and AutonomousAgent 子過程 Motion and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12296-12303	例 Process and Killing agent Process and AutonomousAgent 患者 Process and Entity 例 AutonomousAgent and Organism 例 Entity and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10143-10147	例 Process and BiologicalProcess 體驗者 Process and AutonomousAgent 例 AutonomousAgent and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12244-12253	例 Process and TherapeuticProcess 患者 Process and Object 例 Object and Organism Object 例 Object and Organism 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 45-56	例 Physical and OrganismRemains 持有期間何時 Physical and 部分 entity and Physical Physical 例 Physical and Organism 早期何時 Physical and 何時 Physical 飾面何時 Physical and 何時 Physical 持有期間何時 Physical and 部分 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14484-14488	例 Organism and Virus 棲息 Organism and Object 例 Object and Organism
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	attribute Object and 生食例 Object and food for Organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	RealNumber 是 DiseaseOrSyndrome 的 disease 死亡條件概率 entity 例 entity and Organism attribute entity and DiseaseOrSyndrome, entity 例 entity and Death 體驗者 entity and entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	WMD.kif 464-473	例 Object and 化學劑 Object Process and Object 例 Object and Organism 例 Process and BiologicalProcess 儀器 Process and Object 結果 Process and Object 複製 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14921-14927	例 Entity and AnatomicalStructure Physical TimePosition 例 Physical and Organism 時間部分 TimePosition and 何時 Physical 持有期間 TimePosition and 部分 Entity and Physical
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	例 Physical and 生化攻擊有目的 Physical and entity entity 例 entity and Damaging 患者 entity and entity 原因 Physical and entity 例 entity and Organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18270-18276	例 Entity and PsychologicalAttribute 持有期間 TimePosition and attribute Entity and Entity 例 Entity and Organism 持有期間 TimePosition and attribute Entity and 活的
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 548-564	例 Physical and Catheter 有目的 Physical and entity entity, entityBJ and entity 例 entity and Organism 例 entity and Motion 移動 entity and entityBJ 方位 entity, entity and 外路徑 entity and Physical 起源 entity and entity 目的地 entity and entity 起源 entity and entity 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 570-577	例 Transfer and Catheterization TransferATH Entity 例 TransferATH and Catheter 例 Entity and Organism objectTransferred Transfer and TransferATH 目的地 Transfer and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15077-15084	例 Object and BodyCovering Object 膚淺的部分 Object and Object 例 Object and Organism 例 Object and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10440-10447	例 Process and Injuring 例 Process and Damaging Entity 例 Entity and Organism 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11119-11124	例 Process and BodyMotion AutonomousAgent 例 AutonomousAgent and Organism agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14955-14961	例 Entity and BodyPart Physical TimePosition 例 Physical and Organism 時間部分 TimePosition and 何時 Physical 持有期間 TimePosition and 零件 Entity and Physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: