TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3230-3231
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12924-12926
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12923-12923	子類 Investigating and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12954-12954	子類 DiagnosticProcess and Investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13932-13932	子類間諜 and Investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12949-12949	子類試驗 and Investigating
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5343-5343	子類 GramStaining and Investigating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1891-1891	子類侵略性信息操作 and Investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13948-13948	子類輪詢 and Investigating
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 674-674	子類 ReconnaissanceOperation and Investigating
No TPTP formula. May not be expressible in strict first order.	WMD.kif 720-720	子類研究大規模殺傷性武器 and Investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12965-12965	子類 Searching and Investigating
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1191-1191
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1599-1599
No TPTP formula. May not be expressible in strict first order.	french_format.kif 869-869
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 402-402
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 405-405
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2553-2553
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 821-821
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 407-407
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 441-441
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 890-890
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 406-406

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12941-12947	例 Process and Investigating agent Process and AutonomousAgent 患者 Process and Entity 有代理人的目的 Process, 知道 AutonomousAgent and Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12934-12939	例 Process and Investigating agent Process and AutonomousAgent 患者 Process and Entity 持有期間何時 Process and 知道 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12928-12932	例 Process and Investigating 患者 Process and Entity 例 Entity and Formula

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4025-4038	attribute CognitiveAgent and ObsessiveCompulsiveDisorder Collection Class Class 是 Collection 的 member 類別子類 Class and Investigating 子類 Class and 清潔的例 ClassI and Class agent ClassI and CognitiveAgent 想要 CognitiveAgent and ClassI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8441-8448	例 Physical and 佣金有目的 Physical and entity entity 例 entity and Investigating 患者 entity and entity agent entity and Physical

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: