BuildingLevel - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BuildingLevel

BuildingLevel(building level)

first_floor, floor, ground_floor, ground_level, level, storey, story

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16787-16788
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8396-8396
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9009-9009
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9010-9010
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9011-9011
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16786-16786	Building level is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16797-16797	Basement is a subclass of building level
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12272-12272	Basement is a subclass of building level
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12271-12271	Basement is a subclass of building level
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12270-12270	Basement is a subclass of building level

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16488-16498	If an object is an instance of building level and another object is an instance of building level and a third object is an instance of building and the object is a part of the third object and the other object is a part of the third object, then there exists a fourth object such that the fourth object is an instance of steps and the fourth object connects the object and the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16790-16795	If an object is an instance of building level, then there exists another object such that the other object is an instance of building and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1215-1224	If an attribute is an attribute of an object and the attribute is an instance of hotel level attribute, then the object is an instance of building level and there exists another object such that the other object is an instance of hotel and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16464-16476	If an object is an instance of stairway and the object is a part of another object and the other object is an instance of building, then the object has the purpose there exist an entity and another entity such that the entity is an instance of building level and the other entity is an instance of building level and the entity is a part of the other object and the other entity is a part of the other object and the object connects the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26313-26324	If the unit number of a postal place is a symbolic string and another symbolic string is the floor of the postal place, then there exist a physical and an object such that the object is an instance of building level and the physical is an instance of room and the physical is located at the object and the object is a part of the postal place and the physical has name the symbolic string and the object has name the other symbolic string
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16802-16811	If an object is an instance of basement, then there don't exist another object and a third object such that the other object is an instance of building level and the third object is an instance of building and the other object is a part of the third object and the object is a part of the third object and the other object is not equal to the object and the other object is below to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16818-16831	If a physical is an instance of elevator, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of transportation and the entity originates at the other entity and the other entity is an instance of building level and the entity ends up at the third entity and the third entity is an instance of building level and the other entity is not equal to the third entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the fourth entity is an instance of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28166-28178	If an object is an instance of high rise, then there exist a collection and an integer such that the collection is an instance of collection and for all another object if the other object is an instance of building level and the other object is a part of the object, then the other object is a member of the collection and the integer is a member count of the collection and the integer is greater than or equal to 10
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 709-719	If a building has an integer floors, then there exists a collection such that for all an object if the object is an instance of building level and the object is a part of the building, then the object is a member of the collection and the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20825-20836	If an object is downstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is below to the fourth object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20808-20819	If an object is upstairs to another object, then there exist a third object, a fourth object and a fifth object such that the third object is an instance of building level and the fourth object is an instance of building level and the fifth object is an instance of building and the third object is a part of the fifth object and the fourth object is a part of the fifth object and the object is located at the third object and the other object is located at the fourth object and the third object is above to the fourth object

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