Width - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Width

Width

appearance as argument number 1

(documentation Width EnglishLanguage "As with Width, this is the measure of an Object from side to side at its widest span.")	Mid-level-ontology.kif 32990-32991
(instance Width MeasurementAttribute)	Mid-level-ontology.kif 32989-32989	Width is an instance of MeasurementAttribute

appearance as argument number 2

(termFormat EnglishLanguage Width "width")

Mid-level-ontology.kif 32992-32992

antecedent

(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q))	Mid-level-ontology.kif 33020-33025	If memberMeasure a class, Width and a length measure and the class is an instance of class and a self connected object is an instance of the class, then the height of the self connected object is the length measure
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (width ?O ?Q))	Mid-level-ontology.kif 32994-32999	If memberMeasure a class, Width and a length measure and the class is an instance of class and a physical is an instance of the class, then the width of the physical is the length measure

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