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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoberingUp

 Sigma KEE - FreeAtom
FreeAtom(自由原子)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21669-21669
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11013-11013
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10021-10021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21668-21668 子類 自由原子 and Atom

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24896-24896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24895-24895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24894-24894

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21671-21677


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