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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WakingUp

Sigma KEE - WakingUp
WakingUp(起來)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16419-16420
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8244-8244
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6966-6966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8245-8245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16418-16418 子類 起來 and PsychologicalProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16403-16403 不相交的 沉沉睡去 and 起來
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62087-62087
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62086-62086
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62085-62085

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16422-16431

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 65-84
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1994-2006


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