(=>     (instance ?MS MedicalService)     (exists (?AGENT ?HUMAN ?PROC)         (and             (agent ?MS ?AGENT)             (employs ?AGENT ?HUMAN)             (attribute ?HUMAN MedicalDoctor)             (serviceProvider ?MS ?HUMAN)             (or                 (instance ?PROC TherapeuticProcess)                 (instance ?PROC DiagnosticProcess))             (subProcess ?PROC ?MS))))	Hotel.kif 2281-2292	If a service is an instance of medical service, then there exist an agent, a cognitive agent and a process such that the agent is an agent of the service and the agent employs the cognitive agent and medical doctor is an attribute of the cognitive agent and the cognitive agent provides a service during the service and the process is an instance of therapeutic process or the process is an instance of diagnostic process and the process is a subprocess of the service
(=>     (instance ?N Needle)     (hasPurpose ?N         (exists (?H ?TP ?F ?RI)             (and                 (instance ?H Animal)                 (instance ?TP TherapeuticProcss)                 (attribute ?F Fluid)                 (patient ?TP ?H)                 (instrument ?TP ?N)                 (or                     (instance ?RI Removing)                     (instance ?RI Inserting))                 (subProcess ?RI ?TP)                 (objectTransferred ?RI ?F)))))	Medicine.kif 924-938	If a physical is an instance of needle, 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 animal and the other entity is an instance of TherapeuticProcss and fluid is an attribute of the third entity and the entity is a patient of the other entity and the physical is an instrument for the other entity and the fourth entity is an instance of removing or the fourth entity is an instance of inserting and the fourth entity is a subprocess of the other entity and the object transferred in the fourth entity is the third entity
(=>     (instance ?NC         (NetworkCommunicationFn AirPlay))     (or         (exists (?TV)             (and                 (instance ?TV TelevisionSet)                 (destination ?NC ?TV)))         (exists (?SP)             (and                 (instance ?SP SpeakerDevice)                 (destination ?NC ?SP)))))	ComputingBrands.kif 1860-1870	If a process is an instance of communication over AirPlay, then there exists an entity such that the entity is an instance of television set and the process ends up at the entity or there exists another entity such that the other entity is an instance of speaker and the process ends up at the other entity
(=>     (instance ?NUMBER NonnegativeRealNumber)     (or         (equal             (SignumFn ?NUMBER) 1)         (equal             (SignumFn ?NUMBER) 0)))	Merge.kif 5195-5199	If a real number is an instance of nonnegative real number, then the sign of the real number is equal to 1 or the sign of the real number is equal to 0
(=>     (instance ?O OlympicGames)     (or         (exists (?W)             (and                 (instance ?W WinterSeason)                 (temporalPart                     (WhenFn ?O) ?W)))         (exists (?S)             (and                 (instance ?S SummerSeason)                 (temporalPart                     (WhenFn ?O) ?S)))))	Sports.kif 1341-1351	If a physical is an instance of olympic games, then there exists a time position such that the time position is an instance of winter season and the time of existence of the physical is a part of the time position or there exists another time position such that the other time position is an instance of summer season and the time of existence of the physical is a part of the other time position
(=>     (instance ?OBJ Object)     (or         (attribute ?OBJ Monochromatic)         (attribute ?OBJ Polychromatic)))	Merge.kif 17721-17725	If an object is an instance of object, then monochromatic is an attribute of the object or polychromatic is an attribute of the object
(=>     (instance ?OBJ OpticalDisc)     (or         (material Gold ?OBJ)         (material Aluminum ?OBJ)))	Media.kif 1143-1147	If a corpuscular object is an instance of optical disc, then the corpuscular object is made of gold or the corpuscular object is made of aluminum
(=>     (instance ?OFFICE PlaceOfCommerce)     (or         (instance ?OFFICE CommercialBuilding)         (exists (?BUILDING)             (and                 (instance ?BUILDING CommercialBuilding)                 (part ?OFFICE ?BUILDING)))))	Mid-level-ontology.kif 7034-7041	If an object is an instance of place of commerce, then the object is an instance of commercial building or there exists another object such that the other object is an instance of commercial building and the object is a part of the other object
(=>     (instance ?ORG UnionOrganization)     (exists (?COLL ?MEMBER)         (=>             (member ?MEMBER ?ORG)             (or                 (and                     (instance ?COLL Corporation)                     (employs ?COLL ?MEMBER))                 (exists (?CORP)                     (and                         (instance ?COLL Industry)                         (member ?CORP ?COLL)                         (employs ?CORP ?MEMBER)))))))	Mid-level-ontology.kif 8543-8556	If a collection is an instance of union organization, then there exist an agent and a cognitive agent such that if the cognitive agent is a member of the collection, then the agent is an instance of corporation and the agent employs the cognitive agent or there exists another agent such that the agent is an instance of industry and the other agent is a member of the agent and the other agent employs the cognitive agent
(=>     (instance ?P         (DemonymFn ?N))     (or         (exists (?R)             (and                 (located ?R ?N)                 (inhabits ?P ?R)))         (birthplace ?P ?N)))	Mid-level-ontology.kif 30624-30631	If an animal is an instance of a geographic area-ian, then there exists an object such that the object is located at the geographic area and the animal lives in the object or the geographic area is a birthplace of the animal
(=>     (instance ?P AnimalProduct)     (exists (?M ?A ?B)         (and             (instance ?M Manufacture)             (result ?M ?P)             (patient ?M ?A)             (or                 (instance ?A Animal)                 (and                     (part ?B ?A)                     (instance ?B AnatomicalStructure))))))	Economy.kif 5013-5024	If an entity is an instance of AnimalProduct, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of animal or the other object is a part of the object and the other object is an instance of anatomical structure
(=>     (instance ?P Pedialyte)     (hasPurpose ?P         (exists (?C ?D ?V ?DR)             (and                 (instance ?C HumanChild)                 (instance ?D Diarrhea)                 (instance ?V Vomiting)                 (or                     (and                         (experiencer ?D ?C)                         (earlier                             (WhenFn ?D)                             (WhenFn ?DR)))                     (and                         (experiencer ?V ?C)                         (earlier                             (WhenFn ?V)                             (WhenFn ?DR))))                 (instance ?DR Drinking)                 (agent ?DR ?C)                 (objectTransferred ?DR ?P)))))	Medicine.kif 4816-4833	If a physical is an instance of Pedialyte, then the physical has the purpose there exist an entity, another entity,, , a third entity and the other entityR such that the entity is an instance of human child and the other entity is an instance of diarrhea and the third entity is an instance of vomiting and the entity experiences the other entity and the time of existence of the other entity happens earlier than the time of existence of the other entityR or the entity experiences the third entity and the time of existence of the third entity happens earlier than the time of existence of the other entityR and the other entityR is an instance of drinking and the entity is an agent of the other entityR and the object transferred in the other entityR is the physical
(=>     (instance ?P PlantProduct)     (exists (?M ?A ?B)         (and             (instance ?M Manufacture)             (result ?M ?P)             (patient ?M ?A)             (or                 (instance ?A Plant)                 (and                     (part ?B ?A)                     (instance ?B AnatomicalStructure))))))	Economy.kif 5191-5202	If an entity is an instance of plant product, then there exist a process, an object and another object such that the process is an instance of manufacture and the entity is a result of the process and the object is a patient of the process and the object is an instance of plant or the other object is a part of the object and the other object is an instance of anatomical structure
(=>     (instance ?PERFORMANCE Performance)     (exists (?SUB)         (and             (subProcess ?SUB ?PERFORMANCE)             (or                 (instance ?SUB DramaticActing)                 (instance ?SUB MakingMusic)))))	Mid-level-ontology.kif 15850-15857	If a process is an instance of performance, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of dramatic acting or the other process is an instance of making music
(=>     (instance ?PJ Pajamas)     (hasPurpose ?PJ         (exists (?A ?REST)             (and                 (instance ?A Human)                 (agent ?REST ?A)                 (holdsDuring ?REST                     (wears ?A ?PJ))                 (or                     (instance ?REST Sleeping)                     (instance ?REST StayingStill))))))	Mid-level-ontology.kif 5323-5334	If a physical is an instance of pajamas, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the entity is an agent of the other entity and the entity wears the physical holds during the other entity and the other entity is an instance of sleeping or the other entity is an instance of staying still
(=>     (instance ?PLAIN Steppe)     (or         (located ?PLAIN Europe)         (located ?PLAIN Asia)))	Geography.kif 6707-6711	If a physical is an instance of steppe, then the physical is located at europe or the physical is located at asia
(=>     (instance ?PLANT IndustrialPlant)     (or         (instance ?PLANT Building)         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (located ?BUILDING ?PLANT)))))	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
(=>     (instance ?PLAYER MediaSystem)     (hasPurpose ?PLAYER         (or             (exists (?VIDEO ?RL)                 (and                     (instance ?VIDEO VideoRecording)                     (instance ?RL RadiatingLight)                     (patient ?RL ?VIDEO)                     (instrument ?RL ?PLAYER)))             (exists (?AUDIO ?RS)                 (and                     (instance ?AUDIO AudioRecording)                     (instance ?RS RadiatingSound)                     (patient ?RS ?AUDIO)                     (instrument ?RS ?PLAYER))))))	Mid-level-ontology.kif 14454-14469	If a physical is an instance of media system, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of video recording and the other entity is an instance of radiating light and the entity is a patient of the other entity and the physical is an instrument for the other entity or there exist a third entity and a fourth entity such that the third entity is an instance of audio recording and the fourth entity is an instance of radiating sound and the third entity is a patient of the fourth entity and the physical is an instrument for the fourth entity
(=>     (instance ?POISON Poisoning)     (exists (?THING)         (and             (patient ?POISON ?THING)             (or                 (instance ?THING Organism)                 (instance ?THING AnatomicalStructure)))))	Merge.kif 10485-10492	If a process is an instance of poisoning, then there exists an entity such that the entity is a patient of the process and the entity is an instance of organism or the entity is an instance of anatomical structure
(=>     (instance ?PORT PortCity)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (or                 (orientation ?PORT ?SEA Adjacent)                 (orientation ?PORT ?SEA Near)))))	Transportation.kif 841-850	If an object is an instance of port city, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
(=>     (instance ?PORT SeaPort)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (or                 (orientation ?PORT ?SEA Adjacent)                 (orientation ?PORT ?SEA Near)))))	Transportation.kif 873-882	If an object is an instance of sea port, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is adjacent to the other object or the object is near to the other object
(=>     (instance ?PRIME PrimeNumber)     (forall (?NUMBER)         (=>             (and                 (equal                     (RemainderFn ?PRIME ?NUMBER) 0)                 (not                     (equal ?NUMBER 0)))             (or                 (equal ?NUMBER 1)                 (equal ?NUMBER ?PRIME)))))	Merge.kif 5154-5165	If an integer is an instance of prime number, then for all another integer if the integer mod the other integer is equal to 0 and the other integer is not equal to 0, then the other integer is equal to 1 or the other integer is equal to the integer
(=>     (instance ?PROC DirectionChange)     (exists (?ATTR)         (and             (instance ?ATTR DirectionalAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?PROC))                         (manner ?PROC ?ATTR))                     (holdsDuring                         (EndFn                             (WhenFn ?PROC))                         (not                             (manner ?PROC ?ATTR))))                 (and                     (holdsDuring                         (EndFn                             (WhenFn ?PROC))                         (manner ?PROC ?ATTR))                     (holdsDuring                         (BeginFn                             (WhenFn ?PROC))                         (not                             (manner ?PROC ?ATTR))))))))	Merge.kif 11301-11312	If a physical is an instance of direction change, then there exists an entity such that the entity is an instance of directional attribute and the physical is performed in the manner the entity holds during the beginning of the time of existence of the physical and the physical is not performed in the manner the entity holds during the end of the time of existence of the physical or the physical is performed in the manner the entity holds during the end of the time of existence of the physical and the physical is not performed in the manner the entity holds during the beginning of the time of existence of the physical
(=>     (instance ?PROC OrganOrTissueProcess)     (exists (?THING)         (and             (eventLocated ?PROC ?THING)             (or                 (instance ?THING Organ)                 (instance ?THING Tissue)))))	Merge.kif 10197-10204	If a process is an instance of organ or tissue process, then there exists an object such that the process is located at the object and the object is an instance of organ or the object is an instance of tissue
(=>     (instance ?PROC PoliticalProcess)     (exists (?POL)         (and             (or                 (instance ?POL Government)                 (exists (?GOV)                     (and                         (instance ?GOV Government)                         (member ?POL ?GOV))))             (or                 (agent ?PROC ?POL)                 (patient ?PROC ?POL)))))	Merge.kif 10779-10791	If a process is an instance of political process, then there exists an agent such that the agent is an instance of government or there exists a collection such that the collection is an instance of government and the agent is a member of the collection and the agent is an agent of the process or the agent is a patient of the process
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