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

Formal Language: 



KB Term:  Term intersection
English Word: 

  appointedPosition

 Sigma KEE - Tranquility
Tranquility(tranquility)
domestication, tameness

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19301-19301 Tranquility is the opposite of anxiety
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19302-19302
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 19300-19300 Tranquility is a subattribute of 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