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 19328-19328 Tranquility est l'oppos� de anxiété
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19329-19329
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 19327-19327 Tranquility est un sous-attribut de bonheur

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


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


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