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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StandingUp

 Sigma KEE - StandingUp
StandingUp(站起来)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19924-19925
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2935-2935
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2738-2738
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19922-19922 站起来 是 身体运动 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19923-19923 站起来 是 向上运动 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55020-55020
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55019-55019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55018-55018

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


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


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