TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3066-3067
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11655-11656
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1834-1835
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11653-11653	子類 Guiding and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23469-23469	子類實現控制 and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4336-4336	子類 AnimalGuiding and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18570-18570	子類戲劇性的指導 and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11658-11658	子類 Driving and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11672-11672	子類 EducationalProcess and Guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 69-69	子類 GuidingMotion and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10861-10861	子類 Managing and Guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1725-1725	子類 MovingCursor and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18520-18520	子類 MusicalConducting and Guiding
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 101-101	子類 PhysicalGuiding and Guiding
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2258-2258	子類鐵路運輸控制 and Guiding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10851-10851	子類 RegulatoryProcess and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23445-23445	子類座席區 and Guiding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23458-23458	子類發信號 and Guiding
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1130-1130
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1477-1477
No TPTP formula. May not be expressible in strict first order.	french_format.kif 808-808
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 340-340
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 343-343
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2492-2492
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 760-760
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 345-345
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 379-379
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 829-829

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.	Government.kif 2273-2281	例 GeopoliticalArea and GeopoliticalArea 佔據位置 Human, 領導 and 政府 GeopoliticalArea Process 例 Process and Guiding 患者 Process and GeopoliticalArea agent Process and Human
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1051-1063	例 AutonomousAgent and 導彈例 Process and 飛行患者 Process and AutonomousAgent Process 例 Process and Guiding 患者 Process and Process agent Process and AutonomousAgent 期間何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30796-30807	passenger Transfer and AutonomousAgent 例 Object and 車輛儀器 Transfer and Object Process 期間何時 Process and 何時 Transfer 例 Process and Guiding agent Process and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30769-30782	持有期間 TimePosition and attribute Physical and FlightSteward 有目的 Physical and 持有期間 TimePosition and entity 例 entity and 飛機 entity 例 entity and Guiding agent entity and Physical 儀器 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2732-2740	例 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 2846-2854	例 Physical and 指揮棒有目的 Physical and entity entity 例 entity and 音樂表演例 entity and Guiding 子過程 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2350-2360	例 Physical and 民政有目的 Physical and entity entity_ACT 例 entity and Guiding 患者 entity and entity_ACT agent Physical and entity 例 entity_ACT and 民事軍事行動例 entity_ACT and 民政活動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2386-2393	例 Physical and 民政活動有目的 Physical and entity entity 例 entity and Guiding 患者 entity and entity 例 entity and 民事軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 290-297	例 Entity and 特別行動 Process AutonomousAgent 例 Process and Guiding 患者 Process and Entity agent Process and AutonomousAgent 例 AutonomousAgent and 特種作戰部隊
No TPTP formula. May not be expressible in strict first order.	Government.kif 2265-2271	佔據位置 Human, 領導 and Organization Process 例 Process and Guiding 患者 Process and Organization agent Process and Human

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: