TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15778-15778	Room is disjoint from building
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3588-3590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15779-15782
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 141-141
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15777-15777	Room 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 15492-15492	Bathroom is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15583-15583	Bedroom is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1650-1650	Business center is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15593-15593	Classroom is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15503-15503	Closet is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16171-16171	Court room is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15579-15579	Dining room is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15515-15515	Dressing room is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26767-26767	Game room is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15612-15612	Hall is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1686-1686	Hotel function room is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 119-119	Hotel room is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15553-15553	Kitchen is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26780-26780	Nursery is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25395-25395	Self-service laundry is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26738-26738	Solarium is a subclass of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26791-26791	Steam bath is a subclass of room
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1315-1315
No TPTP formula. May not be expressible in strict first order.	french_format.kif 730-730
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 261-261
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 264-264
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2414-2414
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 682-682

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26147-26159	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	If a physical is an instance of knock light and the physical is located at an object and the object is an instance of room and another object is an instance of door and the other object is a part of the object, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of impacting and the other object is a patient of the entity and the entity causes the other entity and the other entity is an instance of radiating sound and the other object is an agent of the other entity and the other entity causes the third entity and the third entity is an instance of radiating visible light and the physical is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2202-2207	If a physical is located at an object and the physical is an instance of toilet and the object is an instance of room, then the object is an instance of bathroom
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	If a person in an object can see a kind of physical and the object is an instance of room and another object is an instance of a kind of physical and the other object is outside to the object, then the statement there exist an entity and another entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the other object is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15784-15789	If an object is an instance of room, then there exists another object such that the other object is an instance of building and the object is a proper part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24631-24642	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 24644-24654	If the unit number of a postal place is a symbolic string and there doesn't exist another symbolic string such that the other symbolic string is the floor of the postal place, then there exists a physical such that the physical is an instance of room and the physical has name the symbolic string and the physical is located at the postal place
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	If open layout is an attribute of an object, then the object is an instance of room and there exist another object, a third object and a fourth object such that the other object is an instance of region and the third object is an instance of region and the other object is located at the object and the third object is located at the object and the other object is not equal to the third object and the other object is adjacent to the third object and there exist a formula and another formula such that the formula is an instance of process and the other formula is an instance of process and the other object has the purpose the formula and the third object has the purpose the other formula and if the fourth object is an instance of agent and the fourth object is located at the third object, then the fourth object is capable of doing seeing as a agent and the other object is capable of doing seeing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15232-15234	If adjoining room is an attribute of an object, then the object is an instance of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15335-15340	If a self connected object is an instance of ceiling, then there exists another self connected object such that the top of the other self connected object is the self connected object and the other self connected object is an instance of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15298-15305	If an object is an instance of door, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15324-15329	If an object is an instance of floor, then there exists another object such that the object is a part of the other object and the other object is an instance of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15621-15636	If a physical is an instance of hall, 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 translocation and the physical is path along which the entity occurs and the physical is located at the other entity and the other entity is an instance of building and the physical is between the third entity and the fourth entity and the third entity is an instance of room and the fourth entity is an instance of room and the third entity is located at the other entity and the fourth entity is located at the other entity and the third entity is not equal to the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3131-3141	If a physical is an instance of wallpaper, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of wall and the entity is a part of the other entity and the other entity is an instance of room and the third entity is an instance of covering and the entity is a patient of the third entity and the physical is an instrument for the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15175-15183	If an object is an instance of window, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room or the other object is an instance of vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15311-15318	If an object is an instance of wall, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15289-15296	If an object is an instance of doorway, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26832-26842	If a physical is an instance of room heater, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the third entity is an instance of room and the entity is located at the third entity and the other entity is an instance of heating and the entity is a patient of the other entity and the physical is an instrument for the other entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: