TreeView Knowledge Base Browser - Searching

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Searching

Searching

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4062-4062
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12988-12989
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12987-12987	子類 Searching and Investigating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65466-65466
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 400-400
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 403-403
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 405-405
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 439-439
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 404-404

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13006-13019	例 Process and Searching 患者 Process and Physical 例 Physical and Physical Object AutonomousAgent 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent 例 Object and Object 位於 Physical and Object 有代理人的目的 Process, 知道 AutonomousAgent and 位於 Physical and Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12992-13004	例 Process and Searching AutonomousAgent Physical and Object 例 AutonomousAgent and CognitiveAgent agent Process and AutonomousAgent 例 Physical and Physical 患者 Process and Physical 例 Object and Object 位於 Physical and Object 有代理人的目的 Process, 知道 AutonomousAgent and 位於 Physical and Object and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 17322-17344

例 Process and Disappearing
Entity AutonomousAgent, Process and TimePosition 例 Process and Searching 早期何時 Process and 何時 Process agent Process and AutonomousAgent 例 Entity and Object 患者 Process and Entity 患者 Process and Entity 例 TimePosition and TimeInterval 時間部分 TimePosition and 何時 Process 持有期間 TimePosition and 模態屬性 ProcessISC 例 ProcessISC and 發現 agent ProcessISC and AutonomousAgent 患者 ProcessISC and Entity and 可能性

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