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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FeelingCold

Sigma KEE - FeelingCold
FeelingCold

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1859-1862
No TPTP formula. May not be expressible in strict first order. emotion.kif 1857-1857 FeelingCold and SubjectiveAssessmentAttribute

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1863-1863
No TPTP formula. May not be expressible in strict first order. emotion.kif 1900-1900
No TPTP formula. May not be expressible in strict first order. emotion.kif 1858-1858 utterance 英語, FeelingCold and "cold"

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1865-1877

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1886-1892


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