(=>     (instance ?C MedicalClinic)     (not         (exists (?B)             (and                 (possesses ?C ?B)                 (instance ?B TemporaryResidence)))))	Mid-level-ontology.kif 7657-7663	If an agent is an instance of medical clinic, then there doesn't exist an object such that the agent possesses the object and the object is an instance of temporary residence
(=>     (instance ?C Partnership)     (exists (?H1 ?H2)         (and             (instance ?H1 Human)             (instance ?H2 Human)             (not                 (equal ?H1 ?H2))             (possesses ?H1 ?C)             (possesses ?H2 ?C))))	Mid-level-ontology.kif 7215-7223	If an object is an instance of partnership, then there exist an agent and another agent such that the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the agent possesses the object and the other agent possesses the object
(=>     (instance ?C Proprietorship)     (exists (?H)         (and             (instance ?H Human)             (possesses ?H ?C)             (not                 (exists (?H2)                     (and                         (not                             (equal ?H ?H2))                         (possesses ?H2 ?C)))))))	Mid-level-ontology.kif 7307-7317	If an object is an instance of proprietorship, then there exists an agent such that the agent is an instance of human and the agent possesses the object and there doesn't exist the agent2 such that the agent is not equal to the agent2 and the agent2 possesses the object
(=>     (instance ?CHARGE FinalValueFee)     (exists (?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)         (and             (instance ?ADVERT WebListing)             (instance ?SELLING Selling)             (instance ?OWNER AutonomousAgent)             (instance ?ITEM Physical)             (instance ?ADVERT WebListing)             (patient ?ADVERT ?ITEM)             (patient ?SELLING ?ITEM)             (causes ?SELLING ?CHARGE)             (agent ?CHARGE ?OWNER)             (hostedOn ?ADVERT ?SITE)             (possesses ?OWNER ?SITE)             (eCommerceSite ?SELLING ?OWNER))))	UXExperimentalTerms.kif 240-255	If a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction
(=>     (instance ?CHARGE InsertionFee)     (exists (?SITE ?OWNER ?ADVERT)         (and             (instance ?SITE WebSite)             (instance ?OWNER AutonomousAgent)             (instance ?ADVERT WebListing)             (hostedOn ?ADVERT ?SITE)             (possesses ?OWNER ?SITE)             (agent ?CHARGE ?OWNER))))	UXExperimentalTerms.kif 209-218	If a process is an instance of insertion fee, then there exist a web site, an agent and a web listing such that the web site is an instance of web site and the agent is an instance of agent and the web listing is an instance of web listing and the web listing is hosted on the web site and the agent possesses the web site and the agent is an agent of the process
(=>     (instance ?D Dormitory)     (exists (?S)         (and             (instance ?S School)             (possesses ?S ?D))))	Mid-level-ontology.kif 6983-6988	If an object is an instance of dormitory, then there exists an agent such that the agent is an instance of school and the agent possesses the object
(=>     (instance ?FD FoodDistributionOperation)     (exists (?FOOD ?CA)         (and             (instance ?FOOD                 (FoodForFn Animal))             (instance ?CA CognitiveAgent)             (patient ?FD ?FOOD)             (destination ?FD ?CA)             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?FD))                 (possesses ?CA ?FOOD)))))	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
(=>     (instance ?G PublicGarden)     (exists (?GOV)         (and             (instance ?GOV Government)             (possesses ?GOV ?G))))	Mid-level-ontology.kif 8198-8203	If an object is an instance of public garden, then there exists the objectOV such that the objectOV is an instance of government and the objectOV possesses the object
(=>     (instance ?Investment Investment)     (exists (?Investing ?Agent)         (and             (agent ?Investing ?Agent)             (possesses ?Agent ?Investment))))	FinancialOntology.kif 1771-1776	If an object is an instance of investment, then there exist a process and an agent such that the agent is an agent of the process and the agent possesses the object
(=>     (instance ?L Library)     (exists (?B ?T)         (and             (possesses ?L ?B)             (instance ?B LibraryBuilding)             (instance ?T Text)             (located ?T ?B))))	Mid-level-ontology.kif 8466-8473	If an agent is an instance of library, then there exist an object and a physical such that the agent possesses the object and the object is an instance of library building and the physical is an instance of text and the physical is located at the object
(=>     (instance ?LAR LARUnit)     (exists (?LAV)         (and             (instance ?LAV LAV)             (possesses ?LAR ?LAV))))	MilitaryPersons.kif 532-537	If an agent is an instance of LAR unit, then there exists an object such that the object is an instance of LAV and the agent possesses the object
(=>     (instance ?LIST ListOnSite)     (exists (?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)         (and             (instance ?SITE WebSite)             (instance ?ADVERT WebListing)             (instance ?EARLIER TimeInterval)             (instance ?AFTER TimeInterval)             (patient ?LIST ?ADVERT)             (equal                 (EndFn ?EARLIER)                 (EndFn ?LIST))             (earlier ?LIST ?AFTER)             (meetsTemporally ?LIST ?AFTER)             (holdsDuring ?EARLIER                 (not                     (hostedOn ?ADVERT ?SITE)))             (holdsDuring ?AFTER                 (hostedOn ?ADVERT ?SITE))             (agent ?LIST ?OWNER)             (possesses ?OWNER ?SITE))))	UXExperimentalTerms.kif 266-286	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval,, , a third time interval and an agent such that the object is an instance of web site and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and the agent is an agent of the time interval and the agent possesses the object
(=>     (instance ?M ArtMuseum)     (exists (?B ?A)         (and             (possesses ?M ?B)             (instance ?B Building)             (instance ?A ArtWork)             (located ?A ?B))))	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
(=>     (instance ?MM         (MerchantMarineFn ?AREA))     (exists (?REGISTER)         (and             (instance ?REGISTER ShipRegister)             (possesses ?AREA ?REGISTER)             (marineInventory ?MM ?REGISTER))))	Transportation.kif 1113-1119	If a merchant marine is an instance of the merchant marine of a geopolitical area, then there exists a ship register such that the ship register is an instance of ship register and the geopolitical area possesses the ship register and the ship register is a marine inventory of the merchant marine
(=>     (instance ?MP AntiArmorPlatoon)     (exists (?MG)         (and             (instance ?MG AntiArmorWeapon)             (possesses ?MP ?MG))))	MilitaryPersons.kif 603-608	If an agent is an instance of anti armor platoon, then there exists an object such that the object is an instance of anti armor weapon and the agent possesses the object
(=>     (instance ?MP HeavyMGPlatoon)     (exists (?MG)         (and             (instance ?MG HeavyMachineGun)             (possesses ?MP ?MG))))	MilitaryPersons.kif 619-624	If an agent is an instance of heavyMG platoon, then there exists an object such that the object is an instance of heavy machine gun and the agent possesses the object
(=>     (instance ?MP HeavyMGPlatoon)     (exists (?MG)         (and             (instance ?MG MK19)             (possesses ?MP ?MG))))	MilitaryPersons.kif 628-633	If an agent is an instance of heavyMG platoon, then there exists an object such that the object is an instance of Mk19 and the agent possesses the object
(=>     (instance ?MP MortarPlatoon)     (exists (?MG)         (and             (instance ?MG MortarGun)             (possesses ?MP ?MG))))	MilitaryPersons.kif 556-561	If an agent is an instance of mortar platoon, then there exists an object such that the object is an instance of mortar gun and the agent possesses the object
(=>     (instance ?MV MilitaryVehicle)     (and         (instance ?A MilitaryForce)         (possesses ?A ?MV)         (capability MilitaryProcess patient ?MV)))	Military.kif 197-202	If an object is an instance of military vehicle, then an agent is an instance of military force and the agent possesses the object and the object is capable of doing military process as a patient
(=>     (instance ?N BroadcastNetwork)     (exists (?O)         (and             (instance ?O Organization)             (forall (?M)                 (=>                     (member ?M ?N)                     (possesses ?O ?M))))))	Communications.kif 369-377	If a collection is an instance of broadcast network, then there exists an agent such that the agent is an instance of organization and for all an object if the object is a member of the collection, then the agent possesses the object
(=>     (instance ?P PublicPark)     (exists (?G)         (and             (instance ?G Government)             (possesses ?G ?P))))	Mid-level-ontology.kif 8127-8132	If an object is an instance of public park, then there exists an agent such that the agent is an instance of government and the agent possesses the object
(=>     (instance ?R Restaurant)     (exists (?D)         (and             (possesses ?R ?D)             (instance ?D DiningArea))))	Mid-level-ontology.kif 7296-7301	If an agent is an instance of restaurant, then there exists an object such that the agent possesses the object and the object is an instance of dining area
(=>     (instance ?STORE WebStore)     (exists (?OWNER)         (and             (instance ?OWNER Human)             (possesses ?OWNER ?STORE))))	UXExperimentalTerms.kif 2148-2153	If an object is an instance of web store, then there exists an agent such that the agent is an instance of human and the agent possesses the object
(=>     (instance ?SVC SafetyDepositService)     (exists (?SAFE ?KEEP ?OBJ ?AGENT)         (and             (serviceProvider ?SVC ?AGENT)             (instance ?SAFE SafeContainer)             (instance ?KEEP Keeping)             (located ?KEEP ?SAFE)             (possesses ?AGENT ?SAFE)             (patient ?KEEP ?OBJ)             (subProcess ?KEEP ?SVC)             (not                 (possesses ?AGENT ?OBJ)))))	Hotel.kif 2262-2273	If a service is an instance of safety deposit box, then there exist an object, a process,, , another object and a cognitive agent such that the cognitive agent provides a service during the service and the object is an instance of safe container and the process is an instance of keeping and the process is located at the object and the cognitive agent possesses the object and the other object is a patient of the process and the process is a subprocess of the service and the cognitive agent doesn't possess the other object
(=>     (instance ?SVC ShuttleService)     (exists (?LIST ?VEHICLE ?AGENT)         (and             (agent ?SVC ?AGENT)             (possesses ?AGENT ?VEHICLE)             (instance ?VEHICLE Automobile)             (instance ?LIST List)             (forall (?X)                 (=>                     (inList ?X ?LIST)                     (and                         (instance ?X PostalPlace)                         (exists (?TRANSPORT)                             (and                                 (instance ?TRANSPORT Transportation)                                 (agent ?TRANSPORT ?AGENT)                                 (instrument ?TRANSPORT ?VEHICLE)                                 (destination ?TRANSPORT ?X)))))))))	Hotel.kif 2035-2053	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of postal place and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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