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 15740-15741
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 15739-15739	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 15756-15756	Room is disjoint from building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7320-7320	Auditorium is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15736-15736	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 7044-7044	Commercial building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22390-22390	Entertainment building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7091-7091	Farm building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22402-22402	Government building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26503-26503	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 8476-8476	Library building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7667-7667	Medical clinic building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22477-22477	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 22520-22520	Place of worship is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20922-20922	Police facility is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7904-7904	Religious building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15803-15803	Residential building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22556-22556	Restaurant building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22482-22482	School building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7079-7079	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 26159-26171	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 15097-15107	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 15073-15085	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 6921-6927	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 15743-15753	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 5043-5051	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 6721-6727	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 21183-21192	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 15411-15420	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 20552-20559	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 20792-20799	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 15299-15306	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 15427-15440	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 15373-15378	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 15486-15491	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 15622-15637	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 9145-9150	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 15399-15404	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 8499-8506	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 9133-9139	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 15689-15696	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 15644-15649	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 15346-15351	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 15762-15767	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 7913-7918	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 15176-15184	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 15312-15319	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 15290-15297	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 26021-26032	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: