TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3586-3587
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15762-15763
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1678-1678
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2127-2127
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15761-15761	Building is a subclass of stationary artifact

appearance as argument number 2

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.	Mid-level-ontology.kif 7319-7319	Auditorium is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15735-15735	Barn is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Sports.kif 648-648	Baseball dugout is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7043-7043	Commercial building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22389-22389	Entertainment building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7090-7090	Farm building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22401-22401	Government building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26491-26491	High rise is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2934-2934	Home garage is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 132-132	Hotel villa is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8475-8475	Library building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7666-7666	Medical clinic building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22476-22476	Office building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2935-2935	Parking garage is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22519-22519	Place of worship is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20921-20921	Police facility is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7903-7903	Religious building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15825-15825	Residential building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22555-22555	Restaurant building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22481-22481	School building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7078-7078	Store is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2919-2919	Terminal building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3076-3076	Toll booth is a subclass of building
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1051-1051

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

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

Hotel.kif 702-702

The number 1 argument of number of floors is an instance of building

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 15096-15106	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 15072-15084	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 6920-6926	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and an agent is a customer of the cognitive agent and the agent is located at the other object holds during a time position and a process is an instance of driving and an entity is a patient of the process and the agent is an agent of the process and the process ends up at the other object, then the cognitive agent allows the agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15765-15775	If an object is an instance of building, then there exists an organism such that the organism is an instance of human and the organism lives in the object or there exists a process such that the organism is an agent of the process and the process is located at the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5042-5050	If an entity is an instance of outdoor clothing and another entity wears the entity holds during a time position, then there doesn't exist a third entity such that the third entity is an instance of building and the other entity is located at the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	If a collection is an instance of organization and warehousing and storage is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6720-6726	If the street address of a stationary artifact, a roadway, a city and a nation is equal to an agent, then there exists an object such that the object is an instance of building and the stationary artifact is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21182-21191	If architecture has an expertise in a human, then there exist a process, an entity and another entity such that the process is an instance of content development and the human is an agent of the process and the entity is a result of the process and the entity is an instance of blueprint and the entity expresses the other entity and the other entity is an instance of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15410-15419	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 20551-20558	If a stationary artifact is an instance of building unit, then there exist an organization and an object such that the object is an instance of building and the organization is an instance of organization and the stationary artifact is a part of the object and members of the organization work at the stationary artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20791-20798	If a process is an instance of carpentry, then there exist an object and another object such that the object is an instance of building and the other object is an instance of wood and the other object is a part of the object and the object is a result of the process
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 15426-15439	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 15372-15377	If an object is an instance of fireplace, 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15485-15490	If an object is an instance of garage, 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
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 9144-9149	If an object is an instance of indoors, then there exists another object such that the other object is an instance of building and the object is inside to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15398-15403	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8498-8505	If an agent is an instance of art museum, then there exist an object and a physical such that the agent possesses the object and the object is an instance of building and the physical is an instance of art work and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9132-9138	If an object is an instance of outdoors, then there doesn't exist another object such that the other object is an instance of building and the object is inside to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15688-15695	If an object is an instance of industrial plant, then the object is an instance of building or there exists a physical such that the physical is an instance of building and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15643-15648	If an object is an instance of veranda, then there exists another object such that the other object is an instance of building and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15345-15350	If a self connected object is an instance of roof, then there exists another self connected object such that the other self connected object is an instance of building and the top of the other self connected object is the self connected object
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7912-7917	If an object is an instance of steeple, 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
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 26009-26020	If a self connected object is an instance of courtyard, then there doesn't exist another self connected object such that the other self connected object is an instance of roof and the top of the self connected object is the other self connected object and there exists an object such that the object is an instance of building and the self connected object is surrounded to the object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: