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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tranquility

 Sigma KEE - Tranquility
Tranquility

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19300-19300 Tranquility e' &o oposto de Anxiety
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19301-19301
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8098-8098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8099-8099
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8100-8100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6926-6926
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19299-19299 Tranquility e' um sub-atributo de Happiness

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58790-58790
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58789-58789
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58788-58788


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