TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3301-3303
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13386-13389
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11395-11395
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10110-10110
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11396-11396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13385-13385	子類 Maneuver and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21751-21751	子類伏擊 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13398-13398	子類攻擊 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Sports.kif 757-757	子類棒球局 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Sports.kif 684-684	子類棒球演練 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21771-21771	子類封鎖 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17102-17102	子類捕 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13420-13420	子類防守機動 and Maneuver
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 390-390	子類直接行動活動 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Sports.kif 815-815	子類足球演練 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17020-17020	子類遊戲鏡頭 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Sports.kif 938-938	子類高爾夫演習 and Maneuver
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21797-21797	子類軍事演習 and Maneuver
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1215-1215
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1651-1651
No TPTP formula. May not be expressible in strict first order.	french_format.kif 893-893
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 426-426
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 429-429
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2577-2577
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 845-845
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 431-431
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 465-465
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 914-914
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 430-430

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13442-13449	例 Process and Maneuver 例 Process and ViolentContest 子過程 Process and Process 例 Process and 攻擊例 Process and 防守機動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13391-13396	例 Process and Maneuver Process 例 Process and Contest 子過程 Process and Process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16643-16651	例 Proposition and 體育比賽實現 Process and Proposition Process 例 Process and 團隊運動例 Process and Maneuver 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25888-25903	例 Physical and VideoGamePlayer 有目的 Physical and entity entity, entity, entity and entity 例 entity and VideoGame 儀器 entity and Physical agent entity and entity 例 entity and Maneuver 儀器 entity and entity agent entity and entity 子過程 entity and entity 部分 entity and Physical 例 entity and RadiatingLight agent entity and Physical 患者 entity and entity

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: