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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 WakingUp e' uma sub-classe de Processo Psicologico

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16403-16403 FallingAsleep e' disjunto de WakingUp
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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