Sigma KB Term Intersection

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 89-89	Hotel unit is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	Hotel unit is a subclass of temporary residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	Hotel room is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	Hotel villa is a subclass of hotel unit