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 15786-15787
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 15785-15785	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 15802-15802	Room is disjoint from building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7538-7538	Auditorium is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15954-15954	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 7262-7262	Commercial building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22673-22673	Entertainment building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7309-7309	Farm building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22685-22685	Government building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26767-26767	High rise is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3733-3733	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 8694-8694	Library building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7885-7885	Medical clinic building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22760-22760	Office building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3734-3734	Parking garage is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22803-22803	Place of worship is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21180-21180	Police facility is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8122-8122	Religious building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15849-15849	Residential building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22839-22839	Restaurant building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22765-22765	School building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7297-7297	Store is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3718-3718	Terminal building is a subclass of building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3903-3903	Toll booth is a subclass of building
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1051-1051	Toll booth is a subclass of building

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 26423-26435	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 15315-15325	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 15291-15303	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 7139-7145	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 106-125	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 15789-15799	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 5037-5045	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 6715-6721	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 21441-21450	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 15629-15638	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 20810-20817	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 21050-21057	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 15517-15524	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 15645-15658	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 15591-15596	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 15704-15709	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 15840-15855	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 9363-9368	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 15617-15622	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 8717-8724	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 9351-9357	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 15907-15914	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 15862-15867	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 15564-15569	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 15808-15813	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 8131-8136	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 15394-15402	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 15530-15537	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 15508-15515	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 26285-26296	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: