consequent

(=>     (and         (instance ?CLOTHING OutdoorClothing)         (holdsDuring ?TIME             (wears ?PERSON ?CLOTHING)))     (not         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (holdsDuring ?TIME                     (located ?PERSON ?BUILDING))))))	Mid-level-ontology.kif 5975-5983	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
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WarehousingAndStorage))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P ?OBJ)                 (and                     (instance ?EV Selling)                     (instance ?OBJ Object)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?B ?T)                             (and                                 (instance ?T TimeInterval)                                 (instance ?B Building)                                 (possesses ?P ?OBJ)                                 (holdsDuring ?T                                     (located ?B ?OBJ)))) ?MEM ?P))))))	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
(=>     (equal         (StreetAddressFn ?PLACE ?ROAD ?CITY ?COUNTRY) ?AGENT)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (part ?PLACE ?BUILDING))))	Mid-level-ontology.kif 7654-7660	If equal the street address of a stationary artifact, a roadway, a city and a nation and 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
(=>     (hasExpertise ?H Architecture)     (exists (?D ?P ?B)         (and             (instance ?D ContentDevelopment)             (agent ?D ?H)             (result ?D ?P)             (instance ?P Blueprint)             (represents ?P ?B)             (instance ?B Building))))	Mid-level-ontology.kif 22788-22797	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
(=>     (instance ?BASEMENT Basement)     (not         (exists (?LEVEL ?BUILDING)             (and                 (instance ?LEVEL BuildingLevel)                 (instance ?BUILDING Building)                 (part ?LEVEL ?BUILDING)                 (part ?BASEMENT ?BUILDING)                 (not                     (equal ?LEVEL ?BASEMENT))                 (orientation ?LEVEL ?BASEMENT Below)))))	Mid-level-ontology.kif 16773-16782	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 equal the other object and the object and the other object is below to the object
(=>     (instance ?BU BuildingUnit)     (exists (?O ?B)         (and             (instance ?B Building)             (instance ?O Organization)             (part ?BU ?B)             (workLocation ?O ?BU))))	Mid-level-ontology.kif 22157-22164	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
(=>     (instance ?C Carpentry)     (exists (?B ?W)         (and             (instance ?B Building)             (instance ?W Wood)             (part ?W ?B)             (result ?C ?B))))	Mid-level-ontology.kif 22397-22404	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
(=>     (instance ?DOOR Door)     (exists (?ARTIFACT)         (and             (part ?DOOR ?ARTIFACT)             (or                 (instance ?ARTIFACT Building)                 (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16661-16668	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
(=>     (instance ?E Elevator)     (hasPurpose ?E         (exists (?T ?L1 ?L2 ?B)             (and                 (instance ?T Transportation)                 (origin ?T ?L1)                 (instance ?L1 BuildingLevel)                 (destination ?T ?L2)                 (instance ?L2 BuildingLevel)                 (not                     (equal ?L1 ?L2))                 (part ?L1 ?B)                 (part ?L2 ?B)                 (instance ?B Building)))))	Mid-level-ontology.kif 16789-16802	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 equal the other entity and 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
(=>     (instance ?F Fireplace)     (exists (?B)         (and             (instance ?B Building)             (part ?F ?B))))	Mid-level-ontology.kif 16735-16740	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
(=>     (instance ?GARAGE Garage)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (part ?GARAGE ?BUILDING))))	Mid-level-ontology.kif 16848-16853	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
(=>     (instance ?HALL Hallway)     (hasPurpose ?HALL         (exists (?TRAN ?BUILD ?R1 ?R2)             (and                 (instance ?TRAN Translocation)                 (path ?TRAN ?HALL)                 (located ?HALL ?BUILD)                 (instance ?BUILD Building)                 (between ?R1 ?HALL ?R2)                 (instance ?R1 Room)                 (instance ?R2 Room)                 (located ?R1 ?BUILD)                 (located ?R2 ?BUILD)                 (not                     (equal ?R1 ?R2))))))	Mid-level-ontology.kif 16984-16999	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 equal the third entity and the fourth entity
(=>     (instance ?INDOORS Indoors)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 10346-10351	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
(=>     (instance ?LEVEL BuildingLevel)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (part ?LEVEL ?BUILDING))))	Mid-level-ontology.kif 16761-16766	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
(=>     (instance ?M ArtMuseum)     (exists (?B ?A)         (and             (possesses ?M ?B)             (instance ?B Building)             (instance ?A ArtWork)             (located ?A ?B))))	Mid-level-ontology.kif 9700-9707	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
(=>     (instance ?OUTDOORS Outdoors)     (not         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 10334-10340	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
(=>     (instance ?PLANT IndustrialPlant)     (or         (instance ?PLANT Building)         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (located ?BUILDING ?PLANT)))))	Mid-level-ontology.kif 17051-17058	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
(=>     (instance ?PORCH Porch)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 17006-17011	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
(=>     (instance ?ROOF Roof)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (top ?ROOF ?BUILDING))))	Mid-level-ontology.kif 16708-16713	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
(=>     (instance ?ROOM Room)     (exists (?BUILD)         (and             (instance ?BUILD Building)             (properPart ?ROOM ?BUILD))))	Merge.kif 15909-15914	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
(=>     (instance ?STEEPLE Steeple)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (part ?STEEPLE ?BUILDING))))	Mid-level-ontology.kif 9075-9080	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
(=>     (instance ?W Window)     (exists (?A)         (and             (part ?W ?A)             (or                 (instance ?A Building)                 (instance ?A Room)                 (instance ?A Vehicle)))))	Mid-level-ontology.kif 16538-16546	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
(=>     (instance ?WALL Wall)     (exists (?ARTIFACT)         (and             (part ?WALL ?ARTIFACT)             (or                 (instance ?ARTIFACT Building)                 (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16674-16681	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
(=>     (instance ?WAY Doorway)     (exists (?ARTIFACT)         (and             (part ?WAY ?ARTIFACT)             (or                 (instance ?ARTIFACT Building)                 (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 16652-16659	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
(=>     (instance ?X Courtyard)     (and         (not             (exists (?ROOF)                 (and                     (instance ?ROOF Roof)                     (top ?ROOF ?X))))         (exists (?BLDG)             (and                 (instance ?BLDG Building)                 (orientation ?X ?BLDG Surrounded)))))	Mid-level-ontology.kif 27906-27917	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 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