TreeView 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 14448-14449
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14447-14447	劃分 Animal, Vertebrate and Invertebrate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14446-14446	子類 Animal and Organism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23721-23721	%每個動物解剖結構是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11529-11529	%每個動物殼是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11673-11673	%每個外骨骼是 Animal 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11784-11784	%每個頭髮是 Animal 的 initially part
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.	Mid-level-ontology.kif 4407-4407	子類 Biped and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20017-20017	子類家畜 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14503-14503	子類 Invertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6794-6794	子類刺槐 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14500-14500	子類 Vertebrate and Animal
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 972-972
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1151-1151
No TPTP formula. May not be expressible in strict first order.	french_format.kif 649-649
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 180-180
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 183-183
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2333-2333
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 601-601
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 185-185
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 217-217
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 670-670
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 184-184

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24253-24253	域出生地, 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 24297-24297	域死亡場所, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6785-6785	域被拘留者, 2 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11496-11496	域掌握, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15924-15924	域穿, 1 and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20354-20354	域子類動物的肉, 2 and Animal

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6237-6246	例 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 14979-14990	例 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 11531-11538	例 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 2162-2175	例 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 11675-11680	例 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 11655-11660	例 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 11219-11229	例 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 2708-2713	例 Process and 釣魚患者 Process and Entity 例 Entity and Animal 例 Entity and Fish
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5490-5500	例 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 10505-10510	例 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 11450-11455	例 Object and 神經系統部分 Object and Object 例 Object and Animal 例 Object and Vertebrate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	例可穿戴物品 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 11837-11844	例 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 3531-3552	例可穿戴物品 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 6583-6585	例 Object and Animal 能力 Drooling, 體驗者 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18128-18133	例 Object and Animal Attribute 例 Attribute and SexAttribute attribute Object and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18047-18057	例 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 17631-17636	例 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 10944-10950	例 CorpuscularObject and Vertebrate CorpuscularObject 例 CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 脊柱
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 4945-4950	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Meat 子類 OrganicObject and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12259-12268	例 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 8862-8866	例 Process and 洗澡患者 Process and Entity 例 Entity and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21389-21393	例 Process and 流血的體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14603-14609	例 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 2766-2773	例 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 11582-11586	例 Process and 饋送目的地 Process and Entity 例 Entity and Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11576-11580	例 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 24131-24137	例 Process and 下蛋體驗者 Process and AutonomousAgent 例 AutonomousAgent and Animal attribute AutonomousAgent and 女
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1420-1427	例 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 13455-13459	例 Process and Perception agent Process and AutonomousAgent 例 AutonomousAgent and Animal
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 14816-14821	例 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 2739-2747	例 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 2409-2414	例 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 4345-4354	例 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 6031-6040	例 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 491-503	例 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11371-11376	例 Process and 攜帶 Object 例 Object and Animal 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15914-15921	例 Physical and Clothing 有目的 Physical and entity entity 例 entity and Animal 部分 entity and entity covers Physical and entity

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 1744-1744	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 21633-21633	子類蜜糖 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 4113-4113	子類豌豆 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: