Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Discovering

Sigma KEE - Discovering
Discovering(发现)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3112-3113
No TPTP formula. May not be expressible in strict first order. Merge.kif 11959-11962
No TPTP formula. May not be expressible in strict first order. Merge.kif 11958-11958 发现有意图的心理过程subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 572-572 定位发现subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19788-19788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19787-19787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19786-19786

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11973-11982
No TPTP formula. May not be expressible in strict first order. Merge.kif 11964-11971

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 558-570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21147-21177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2604-2610
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17323-17345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25424-25432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2586-2592
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2618-2624
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25466-25476


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