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 12946-12948
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12945-12945	子類 Investigating and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12976-12976	子類 DiagnosticProcess and Investigating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13931-13931	子類間諜 and Investigating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12971-12971	子類試驗 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 13947-13947	子類輪詢 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 12987-12987	子類 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 12963-12969	例 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 12956-12961	例 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 12950-12954	例 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 8440-8447	例 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: