Animal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3392-3393
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14552-14553
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14551-14551	劃分 Animal, Vertebrate and Invertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14550-14550	子類 Animal and Organism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25375-25375	%每個動物解剖結構是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12878-12878	%每個動物殼是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13022-13022	%每個外骨骼是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13133-13133	%每個頭髮是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14461-14461	劃分 Organism, Animal, Plant, Fungus and Microorganism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4876-4876	子類 Biped and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21611-21611	子類家畜 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14607-14607	子類 Invertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14604-14604	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 972-972	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1151-1151	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	french_format.kif 649-649	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 180-180	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 183-183	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2333-2333	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 601-601	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 185-185	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 217-217	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 476-476	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 670-670	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 184-184	子類 Vertebrate and Animal

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25907-25907	域出生地, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Biography.kif 204-204	域 burialplace, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25966-25966	域死亡場所, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7972-7972	域被拘留者, 2 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11601-11601	域掌握, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16051-16051	域穿, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21978-21978	域子類動物的肉, 2 and Animal

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12045	antagonistMuscles Muscle and Muscle 例 Motion and Extension 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12021-12032	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Extension, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6218-6227	例 Object and BodyAreaFn BodyPart 例 Object and Animal 部分 Object and Object Object 例 Object and BodyPart 方位 Object, Object and 近部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15083-15094	例 Object and Animal 例 Object and BodySideFn AntiSymmetricPositionalAttribute and BodyPart 相反的屬性 AntiSymmetricPositionalAttribute and AntiSymmetricPositionalAttributeO attribute Object and Healthy ObjectO 例 ObjectO and BodySideFn AntiSymmetricPositionalAttributeO and BodyPart 方位 Object, ObjectO and AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12880-12887	例 Object and Animal 例 Object and 動物殼部分 Object and Object 例 Object and Invertebrate 例 Object and Reptile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2631-2644	例 AutonomousAgent and Animal 例 Attribute and DiseaseOrSyndrome attribute AutonomousAgent and Attribute Transfer Object 例 Transfer and BiologicalProcess 例 Transfer and Removing 起源 Transfer and AutonomousAgent 例 Object and 污水 agent Transfer and AutonomousAgent objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13024-13029	例 Object and Animal 例 Object and 外骨骼部分 Object and Object 例 Object and Invertebrate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13004-13009	例 Object and Animal 例 Object and 骨架部分 Object and Object 例 Object and Vertebrate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12568-12578	例 Object and Chest 例 Class and Animal 例 Object and Class 部分 Object and Class Object 例 Object and 軀幹部分 Object and Object 部分 Object and Class
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2696-2701	例 Process and 釣魚患者 Process and Entity 例 Entity and Animal 例 Entity and Fish
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5475-5485	例 Object and 腸例 Object and Animal 部分 Object and Object 模態屬性 entity 例 entity and EscherichiaColi 包含 Object and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10598-10603	例 Process and IntentionalProcess agent Process and AutonomousAgent 例 AutonomousAgent and Animal 持有期間何時 Process and attribute AutonomousAgent and Awake
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12799-12804	例 Object and 神經系統部分 Object and Object 例 Object and Animal 例 Object and Vertebrate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3450-3478	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13186-13193	例 Object and VitalOrgan 例 Object and Animal 部分 Object and Object attribute Object and 活的
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3592-3613	例可穿戴物品 and 呼吸器例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity, entity and entity 例 entity and Process 儀器 entity and 可穿戴物品防止 entity and entity 子類 entity and 卡帕 entity and 例 entity and Injuring entity 例 entity and Human 患者 entity and entity 例 entity and 吸入 agent entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7546-7548	例 Object and Animal 能力 Drooling, 體驗者 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18262-18267	例 Object and Animal Attribute 例 Attribute and SexAttribute attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18181-18191	例 AutonomousAgent and Animal Process 例 Process and BodyMotion agent Process and AutonomousAgent Attribute 例 Attribute and 身體姿勢 attribute AutonomousAgent and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17765-17770	例 Object and food for Animal Attribute 例 Attribute and TasteAttribute attribute Object and Attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12293-12299	例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4197-4221	attribute Object and ToxicandInfectiousSubstance 例 Object and Substance 例 Object and Microorganism AutonomousAgent Process, Process and Process 例 AutonomousAgent and Human 例 AutonomousAgent and Animal 方位 Object, AutonomousAgent and 近例 Process and 吸入例 Process and Ingesting 例 Process and Touching agent Process and AutonomousAgent 患者 Process and Object 原因 Process and Process 患者 Process and AutonomousAgent 例 Process and Process 能力 Process, 資源 and Object 子類 Process and Injuring 子類 Process and Death
No TPTP formula. May not be expressible in strict first order.	Food.kif 2876-2882	等於 Object and OrganicObjectFn Object 子類 Object and AnimalFat 子類 Object and FatTissue %每個 Object 是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5280-5285	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21674-21683	例 AutonomousAgent and Omnivore agent Process and AutonomousAgent 例 Process and Eating 患者 Process and Entity 例 Entity and Plant 例 Entity and Animal 例 Entity and Fungus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12364-12373	例 Process and Surgery 患者 Process and Entity Process 例 Process and Cutting 例 Entity and Animal 患者 Process and Entity 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10088-10092	例 Process and 洗澡患者 Process and Entity 例 Entity and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23013-23017	例 Process and 流血的體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14707-14713	例 AutonomousAgent and Carnivore 例 Process and Eating agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3235-3242	例 Object and 動物動力裝置儀器 Process and Object Object 例 Object and Animal 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12931-12935	例 Process and 饋送目的地 Process and Entity 例 Entity and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12925-12929	例 Process and 饋送患者 Process and Entity 例 Entity and food for Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25785-25791	例 Process and 下蛋體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal attribute AutonomousAgent and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1413-1420	例 Object and AnimalLanguage agent Process and AutonomousAgent 儀器 Process and Object 例 AutonomousAgent and Animal 例 AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	例 Collection and Organization attribute Collection and 農業林業捕魚和狩獵 Process AutonomousAgent 會員 AutonomousAgent and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 Process and Killing 例 Process and Maintaining 患者 Process and Entity 例 Entity and Animal 例 Entity and Plant 例 Entity and Human 會員 AutonomousAgent and Collection 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	例 Collection and Organization attribute Collection and 食品和飲料店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity 例 AutonomousAgent and Selling 例 Entity and food for Animal 例 Entity and Beverage 患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13560-13564	例 Process and Perception agent Process and AutonomousAgent 例 AutonomousAgent and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15104-15109	例 Object and 動物解剖結構例 Object and Organism 部分 Object and Object 例 Object and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14920-14925	例 Object and 動物物質例 Object and Organism 部分 Object and Object 例 Object and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3208-3216	例 Physical and 動物控制器有目的 Physical and entity entity 例 entity and Guiding 儀器 entity and Physical 例 entity and Animal 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2878-2883	例 Entity and AnimalDoll Entity 例 Entity and Animal 代表 Entity and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4814-4823	例 Process and AnimalGuiding AutonomousAgent Transfer and AutonomousAgent 例 AutonomousAgent and Animal agent Process and AutonomousAgent 例 Transfer and 攜帶 agent Transfer and AutonomousAgent objectTransferred Transfer and AutonomousAgent 儀器 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6100-6109	例 Entity and 地洞 Process AutonomousAgent 例 Process and Process agent Process and AutonomousAgent 例 AutonomousAgent and Animal 例 AutonomousAgent and Human 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 479-491	例 Motion and BloodCirculation Object Object, Object and Object 例 Object and Animal 例 Object and Blood 移動 Motion and Object 例 Object and 動脈例 Object and 靜脈部分 Object and Object 部分 Object and Object 路徑 Motion and Object 路徑 Motion and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1345-1353	例 Physical and CS氣有目的 Physical and entity entity 例 entity and Injuring 儀器 entity and Physical 患者 entity and entity 例 entity and Animal

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.	Economy.kif 1869-1869	Food for Animal 是食品製造業的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	子類蘋果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	子類鱷梨 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	子類椰子 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	子類日期水果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23257-23257	子類蜜糖 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	子類檸檬水果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	子類橙色水果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4448-4448	子類豌豆 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	子類梨果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	子類釀酒葡萄 and food for Animal

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: