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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stretching
Stretching(stretching)
elongate, extend, fasten, stretch, tension, tighten

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17134-17135
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6902-6902
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7998-7998
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17136-17136 Stretching is a subclass of lengthening
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17133-17133 Stretching is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55620-55620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55619-55619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55618-55618


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