Oversized - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Oversized

Oversized(oversized)

outsize, outsized, oversize, oversized

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1168-1169
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1167-1167	Oversized is an instance of relational attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 1170-1170

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of unit of area and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1172-1184	If an object is an immediate instance of a class and a physical is an immediate instance of the class and oversized is an attribute of the object, then there exist the objectSIZE, the physicalSIZE and an unit of measure such that the unit of measure is an instance of unit of measure and the measure of the object is the objectSIZE the unit of measure(s) and the measure of the physical is the physicalSIZE the unit of measure(s) and the objectSIZE is greater than the physicalSIZE

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