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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Jumping
Jumping(跳躍)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 538-539
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2835-2835
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2695-2695
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2836-2836
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1150-1150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 536-536 子類 跳躍 and BodyMotion
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 537-537 子類 跳躍 and 向上運動

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31891-31891
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31890-31890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31889-31889

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


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


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