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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Trembling

Sigma KEE - Trembling
Trembling

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19983-19983 Trembling e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19984-19986
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19981-19981 Trembling e' uma sub-classe de AutonomicProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19980-19980 Trembling e' uma sub-classe de Movimento do Corpo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19982-19982 Trembling e' uma sub-classe de Tremor

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1879-1879 Chills e' uma sub-classe de Trembling
No TPTP formula. May not be expressible in strict first order. emotion.kif 1657-1657 Shivering e' uma sub-classe de Trembling
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59150-59150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59149-59149
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59148-59148


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