TreeView Knowledge Base Browser - Plant

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

AppleIPhoneOS13

Sigma KEE - Plant

Plant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3379-3380
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14422-14424
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 875-875
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 151-151
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14421-14421	子類 Plant and Organism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 3353-3353	範圍子類 PlantFn and Plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14426-14426	子類 FloweringPlant and Plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14430-14430	子類 NonFloweringPlant and Plant
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 965-965
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1137-1137
No TPTP formula. May not be expressible in strict first order.	french_format.kif 642-642
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 173-173
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 176-176
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2326-2326
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 594-594
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 178-178
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 210-210
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 663-663
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 177-177

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6437-6437	域 sheddingLeaves, 1 and Plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8165-8165	域子類栽種於, 1 and Plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6189-6189	域子類植被類型, 2 and Plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6218-6218	域子類植被類型模式, 2 and Plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14379-14379	劃分 Organism, Animal, Plant, Fungus and Microorganism

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8153-8161	例耕地面積 and 園林栽種於 Plant and 耕地面積有目的耕地面積 and entity 例 entity and RecreationOrExercise entity 是 located 在耕地面積
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	例 Object and Plant 部分 Object and Object Process Entity and Process 例 Process and Process 子類 Process and Keeping 例 Entity and 淡水患者 Process and Entity 能力 Process, 儀器 and Object 例 Object and PlantLeaf 例 Object and PlantStem
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	Plant 是 found 在 GeographicArea 子類 Plant and Plant 例 GeographicArea and GeographicArea Physical 例 Physical and Plant 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	Plant 是 found 在 GeographicArea 子類 Plant and Plant 例 GeographicArea and GeographicArea Physical 例 Physical and Plant 位於 Physical and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20515-20517	例 Object and Plant 能力農業, 患者 and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20065-20071	例 AutonomousAgent and 草食動物 agent Process and AutonomousAgent 例 Process and Eating 患者 Process and Entity 例 Entity and Plant
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.	Merge.kif 15033-15038	例 Object and 植物解剖結構例 Object and Organism 部分 Object and Object 例 Object and Plant
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14849-14854	例 Object and 植物物質例 Object and Organism 部分 Object and Object 例 Object and Plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4214-4218	子類 Object and PlantLeaf 等於 Object and 綠葉蔬菜 %每個 Object 是 Plant 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	attribute Object and 飼料作物有目的 Object and entity 例 entity and 農業結果 entity and Object 例 Object and Plant 例 Object and food for 家畜
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6603-6605	例 GeographicArea and 叢林 GeographicArea 是對於 %3 的 vegetation 類別模式
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5191-5202	例 Entity and PlantProduct Process Object and Object 例 Process and Manufacture 結果 Process and Entity 患者 Process and Object 例 Object and Plant 部分 Object and Object 例 Object and AnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	例 Object and FoodFromPlant Object OrganicObject 例 Object and 一個 dead OrganicObject 部分 Object and Object 子類 OrganicObject and Plant

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