TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3157-3158
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12292-12294
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12291-12291	子類 Killing and Destruction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18257-18257	子類執行 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18073-18073	子類收穫 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22039-22039	子類私刑 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18444-18444	子類謀殺 and Killing
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2800-2800	子類偷獵 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18490-18490	子類挨餓 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18455-18455	子類令人窒息 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18275-18275	子類自殺 and Killing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22092-22092	子類自殺性爆炸事件 and Killing
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 243-243	子類 udhiyah儀式 and Killing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1162-1162
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1541-1541
No TPTP formula. May not be expressible in strict first order.	french_format.kif 840-840
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 372-372
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 375-375
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2524-2524
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 792-792
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 377-377
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 411-411
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 861-861
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 376-376

antecedent

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 12313-12321	例 Process and Killing 患者 Process and AutonomousAgent Process 例 Process and Death 體驗者 Process and AutonomousAgent 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12305-12311	例 Process and Killing 患者 Process and Entity 持有期間開始何時 Process and attribute Entity and 活的持有期間未來何時 Process and attribute Entity and 死

consequent

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 12910-12920	例 Process and 狩獵患者 Process and Entity 有目的 Process and EntityROC 患者 EntityROC and Entity 例 EntityROC and Confining 例 EntityROC and Killing
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.	WMD.kif 1013-1015	例 Object and 危及生命的特工能力 Killing, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1264-1272	例 Object and 抗生素 SymbolicString entity 能力卡帕 SymbolicString and 例 SymbolicString and Killing 患者 SymbolicString and entity 例 entity and Bacterium, agent 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.	Medicine.kif 6290-6298	例 Physical and ShrapnelExplosion 有目的 Physical and entity 例 entity and Injuring 例 entity and Killing 原因 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2226-2236	例 Physical and 牙刷有目的 Physical and entity entity and PhysicalOOTH 例 PhysicalOOTH and 齒儀器 entity and Physical 例 entity and Killing 例 entity and Bacterium 患者 entity and entity 患者 entity and PhysicalOOTH

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: