(=>     (instance ?E Execution)     (exists (?P)         (and             (patient ?E ?P)             (instance ?P Human))))	Mid-level-ontology.kif 18267-18272	Processo è un' istanza di Execution Entit� Entit� è un paziente di Processo Entit� è un' istanza di Umano
(=>     (instance ?E Eyelid)     (hasPurpose ?E         (exists (?EYE ?P ?C)             (and                 (instance ?C Covering)                 (instance ?C BodyMotion)                 (instance ?P Human)                 (experiencer ?C ?P)                 (instrument ?C ?E)                 (patient ?C ?EYE)                 (instance ?EYE Eye)                 (part ?EYE ?P)                 (part ?E ?P)))))	Mid-level-ontology.kif 12162-12175	Entit�Concreta è un' istanza di Eyelid Entit�Concreta ha scopo Entit�ConcretaYE Entit� and Entit� Entit� è un' istanza di Coprire Entit� è un' istanza di MovimentoCorporeo Entit� è un' istanza di Umano Entit� esperisces Entit� Entit�Concreta è uno strumento per Entit� Entit�ConcretaYE è un paziente di Entit� Entit�ConcretaYE è un' istanza di Eye Entit�ConcretaYE è una parte di Entit� Entit�Concreta è una parte di Entit�
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?TREATED_USERS)         (and             (instance ?TREATED_USERS Collection)             (forall (?USER)                 (=>                     (and                         (instance ?USER Human)                         (treatedUser ?USER ?EXPERIMENT))                     (member ?USER ?TREATED_USERS)))             (equal                 (TreatedUsersFn ?EXPERIMENT) ?TREATED_USERS))))	UXExperimentalTerms.kif 4281-4293	Experimenting è un' istanza di Experimenting Entit�_USERS Entit�_USERS è un' istanza di InsiemeConcreto Umano Umano è un' istanza di Umano treatedUser Umano and Experimenting Umano è un membro di Entit�_USERS TreatedUsersFn Experimenting is uguale a Entit�_USERS
(=>     (instance ?F FaecalibacteriumPrausnitzii)     (modalAttribute         (exists (?H ?G)             (and                 (instance ?H Human)                 (instance ?G GastroIntestinalTract)                 (part ?G ?H)                 (located ?F ?G))) Likely))	Medicine.kif 5285-5294	Entit� è un' istanza di FaecalibacteriumPrausnitzii l'affermazione Entit� Entit� Entit� è un' istanza di Umano Entit� è un' istanza di GastroIntestinalTract Entit� è una parte di Entit� Entit� è localizzato in Entit� ha il modello di forza di Likely
(=>     (instance ?FE FireExtinguisher)     (exists (?PERSON)         (and             (instance ?PERSON Human)             (capability Carrying instrument ?PERSON))))	Mid-level-ontology.kif 25489-25494	Entit� è un' istanza di FireExtinguisher Oggetto Oggetto è un' istanza di Umano Oggetto è capace di fare Carrying nel ruolo instrument
(=>     (instance ?GROUP GroupOfAnimals)     (forall (?MEMBER)         (=>             (member ?MEMBER ?GROUP)             (and                 (instance ?MEMBER Animal)                 (not                     (instance ?MEMBER Human))))))	Mid-level-ontology.kif 7479-7486	InsiemeConcreto è un' istanza di GroupOfAnimals Entit�Concreta Entit�Concreta è un membro di InsiemeConcreto Entit�Concreta è un' istanza di Animale Entit�Concreta è un' istanza di Umano
(=>     (instance ?GXT GlobalCrossFunctionalTeam)     (exists (?MEMBER1 ?MEMBER1_LOC ?MEMBER2 ?MEMBER2_LOC)         (and             (instance ?MEMBER1 Human)             (instance ?MEMBER2 Human)             (instance ?MEMBER1_LOC GeopoliticalArea)             (instance ?MEMBER2_LOC GeopoliticalArea)             (member ?MEMBER1 ?GXT)             (member ?MEMBER2 ?GXT)             (located ?MEMBER1 ?MEMBER1_LOC)             (located ?MEMBER2 ?MEMBER2_LOC)             (not                 (equal ?MEMBER1_LOC ?MEMBER2_LOC)))))	UXExperimentalTerms.kif 2728-2741	InsiemeConcreto è un' istanza di GlobalCrossFunctionalTeam Entit�Concreta Entit�Concreta_LOC, Entit�Concreta and Entit�Concreta_LOC Entit�Concreta è un' istanza di Umano Entit�Concreta è un' istanza di Umano Entit�Concreta_LOC è un' istanza di AreaGeopolitica Entit�Concreta_LOC è un' istanza di AreaGeopolitica Entit�Concreta è un membro di InsiemeConcreto Entit�Concreta è un membro di InsiemeConcreto Entit�Concreta è localizzato in Entit�Concreta_LOC Entit�Concreta è localizzato in Entit�Concreta_LOC Entit�Concreta_LOC is uguale a Entit�Concreta_LOC
(=>     (instance ?H Hanging)     (exists (?S ?N ?P)         (and             (instance ?P Human)             (instance ?S String)             (instance ?N Neck)             (experiencer ?H ?P)             (properPart ?N ?P)             (instrument ?H ?S)             (holdsDuring                 (WhenFn ?H)                 (meetsSpatially ?S ?N)))))	Mid-level-ontology.kif 18476-18487	Processo è un' istanza di Hanging Oggetto Oggetto and AutonomousAgent AutonomousAgent è un' istanza di Umano Oggetto è un' istanza di String Oggetto è un' istanza di Neck AutonomousAgent esperisces Processo Oggetto è una Parte propria di AutonomousAgent Oggetto è uno strumento per Processo Oggetto incontras Oggetto vales durante il tempo di esistenza di Processo
(=>     (instance ?I Interleukin)     (hasPurpose ?I         (exists (?D ?BV ?H)             (and                 (instance ?H Human)                 (or                     (instance ?BV Bacteria)                     (instance ?BV Virus))                 (instance ?D Destruction)                 (located ?D ?H)                 (instrument ?D ?I)                 (patient ?D ?BV)))))	Medicine.kif 3750-3762	Entit�Concreta è un' istanza di Interleukin Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Bacteria Entit� è un' istanza di Virus Entit� è un' istanza di Distruggere Entit� è localizzato in Entit� Entit�Concreta è uno strumento per Entit� Entit� è un paziente di Entit�
(=>     (instance ?I Ivabradine)     (hasPurpose ?I         (exists (?H ?IN ?P)             (and                 (instance ?H Human)                 (instance ?P                     (PainFn Chest))                 (experiencer ?P ?H)                 (instance ?IN Ingesting)                 (agent ?IN ?H)                 (earlier                     (WhenFn ?P)                     (WhenFn ?IN))                 (not                     (exists (?P2)                         (and                             (instance ?P2                                 (PainFn Chest))                             (experiencer ?P2 ?H)                             (earlier                                 (WhenFn ?IN)                                 (WhenFn ?P2)))))))))	Medicine.kif 4891-4911	Entit�Concreta è un' istanza di Ivabradine Entit�Concreta ha scopo Entit� Entit�ConcretaN and Entit� Entit� è un' istanza di Umano Entit� è un' istanza di PainFn Chest Entit� esperisces Entit� Entit�ConcretaN è un' istanza di Ingestione Entit�ConcretaN è un agente di Entit� il tempo di esistenza di Entit� accades prima di il tempo di esistenza di Entit�ConcretaN Entit�2 Entit�2 è un' istanza di PainFn Chest Entit� esperisces Entit�2 il tempo di esistenza di Entit�ConcretaN accades prima di il tempo di esistenza di Entit�2
(=>     (instance ?KISS Kissing)     (exists (?PERSON1 ?PERSON2 ?LIP1 ?LIP2)         (and             (agent ?KISS ?PERSON1)             (agent ?KISS ?PERSON2)             (instance ?PERSON1 Human)             (instance ?PERSON2 Human)             (not                 (equal ?PERSON1 ?PERSON2))             (instance ?LIP1 Lip)             (instance ?LIP2 Lip)             (part ?LIP1 ?PERSON1)             (part ?LIP2 ?PERSON2)             (holdsDuring                 (BeginFn                     (WhenFn ?KISS))                 (not                     (meetsSpatially ?LIP1 ?LIP2)))             (holdsDuring                 (EndFn                     (WhenFn ?KISS))                 (meetsSpatially ?LIP1 ?LIP2)))))	Mid-level-ontology.kif 11603-11622	Processo è un' istanza di Kissing AutonomousAgent AutonomousAgent, Oggetto and Oggetto Processo è un agente di AutonomousAgent Processo è un agente di AutonomousAgent AutonomousAgent è un' istanza di Umano AutonomousAgent è un' istanza di Umano AutonomousAgent is uguale a AutonomousAgent Oggetto è un' istanza di Lip Oggetto è un' istanza di Lip Oggetto è una parte di AutonomousAgent Oggetto è una parte di AutonomousAgent Oggetto non incontra Oggetto vales durante l' inizio di il tempo di esistenza di Processo Oggetto incontras Oggetto vales durante la fine di il tempo di esistenza di Processo
(=>     (instance ?MAT PrayerMat)     (hasPurpose ?MAT         (exists (?PRAY ?PERSON)             (and                 (instance ?PRAY Praying)                 (agent ?PRAY ?PERSON)                 (instance ?PERSON Human)                 (holdsDuring                     (WhenFn ?PRAY)                     (orientation ?PERSON ?MAT On))))))	Mid-level-ontology.kif 25847-25856	Entit�Concreta è un' istanza di PrayerMat Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Praying Entit� è un agente di Entit� Entit� è un' istanza di Umano Entit� è On a Entit�Concreta vales durante il tempo di esistenza di Entit�
(=>     (instance ?MH MotorcycleHelmet)     (hasPurpose ?MH         (exists (?P ?D ?M)             (and                 (instance ?D Driving)                 (agent ?D ?P)                 (instance ?M Motorcycle)                 (patient ?D ?M)                 (instance ?P Human)                 (holdsDuring                     (WhenFn ?D)                     (wears ?P ?MH))))))	Cars.kif 4377-4388	Entit�Concreta è un' istanza di MotorcycleHelmet Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Driving Entit� è un agente di Entit� Entit� è un' istanza di Motorcycle Entit� è un paziente di Entit� Entit� è un' istanza di Umano wears Entit� and Entit�Concreta vales durante il tempo di esistenza di Entit�
(=>     (instance ?MURDER Murder)     (exists (?PERSON)         (and             (patient ?MURDER ?PERSON)             (instance ?PERSON Human))))	Mid-level-ontology.kif 18447-18452	Processo è un' istanza di Murder Entit� Entit� è un paziente di Processo Entit� è un' istanza di Umano
(=>     (instance ?ORD Ordaining)     (hasPurpose ?ORD         (exists (?X ?ORG ?POS)             (and                 (patient ?ORD ?X)                 (instance ?X Human)                 (instance ?ORG ReligiousOrganization)                 (member ?X ?ORG)                 (result ?ORD ?POS)                 (instance ?POS ReligiousPosition)                 (occupiesPosition ?X ?POS ?ORG)))))	Biography.kif 132-143	Entit�Concreta è un' istanza di Ordaining Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un paziente di Entit�Concreta Entit� è un' istanza di Umano Entit� è un' istanza di OrganizzazioneReligiosa Entit� è un membro di Entit� Entit� è un risultato di Entit�Concreta Entit� è un' istanza di ReligiousPosition Entit� occupa la posizione di Entit� in Entit�
(=>     (instance ?P Prison)     (hasPurpose ?P         (exists (?C ?H ?G)             (and                 (instance ?C Confining)                 (eventLocated ?C ?P)                 (patient ?C ?H)                 (instance ?H Human)                 (agent ?C ?G)                 (instance ?G Government)))))	Mid-level-ontology.kif 6767-6777	Entit�Concreta è un' istanza di Prison Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Imprigionare eventLocated Entit� and Entit�Concreta Entit� è un paziente di Entit� Entit� è un' istanza di Umano Entit� è un agente di Entit� Entit� è un' istanza di Governo
(=>     (instance ?PC PortableComputer)     (hasPurpose ?PC         (exists (?T ?H)             (and                 (instance ?T Carrying)                 (instance ?H Human)                 (patient ?T ?PC)                 (agent ?T ?H)))))	Mid-level-ontology.kif 29522-29530	Entit�Concreta è un' istanza di PortableComputer Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Carrying Entit� è un' istanza di Umano Entit�Concreta è un paziente di Entit� Entit� è un agente di Entit�
(=>     (instance ?PE ProtectiveEyewear)     (hasPurpose ?PE         (=>             (exists (?PERSON)                 (and                     (instance ?PERSON Human)                     (wears ?PERSON ?PE)))             (exists (?PROTECT ?EYE ?INJ ?I ?T)                 (and                     (instance ?PROTECT Process)                     (instrument ?PROTECT ?PE)                     (subclass ?INJ                         (KappaFn ?I                             (exists (?HUMAN)                                 (and                                     (instance ?I Injuring)                                     (instance ?EYE Eye)                                     (instance ?HUMAN Human)                                     (properPart ?EYE ?HUMAN)                                     (patient ?I ?EYE)                                     (=>                                         (holdsDuring ?T                                             (patient ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROTECT ?PERSON))))))))                     (prevents ?PROTECT ?INJ))))))	Cars.kif 3490-3517	Entit�Concreta è un' istanza di ProtectiveEyewear Entit�Concreta ha scopo Entit�ConcretaRSON Entit�ConcretaRSON è un' istanza di Umano wears Entit�ConcretaRSON and Entit�Concreta Entit� Entit�, Entit�, Entit� and Entit� Entit� è un' istanza di Processo Entit�Concreta è uno strumento per Entit� Entit� è una sottoclasse di la classe descritta da Entit� Entit� impedisce l'occorrenza di Entit�
(=>     (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	Entit�Concreta è un' istanza di Pajamas Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Umano Entit� è un agente di Entit� wears Entit� and Entit�Concreta vales durante Entit� Entit� è un' istanza di Sleeping Entit� è un' istanza di StayingStill
(=>     (instance ?RESIDENCE AnimalResidence)     (hasPurpose ?RESIDENCE         (exists (?ANIMAL)             (and                 (instance ?ANIMAL Animal)                 (not                     (instance ?ANIMAL Human))                 (inhabits ?ANIMAL ?RESIDENCE)))))	Mid-level-ontology.kif 6996-7003	Entit�Concreta è un' istanza di AnimalResidence Entit�Concreta ha scopo Entit� Entit� è un' istanza di Animale Entit� è un' istanza di Umano Entit� abitas in Entit�Concreta
(=>     (instance ?S AutomobileSeat)     (hasPurpose ?S         (exists (?H ?T ?V)             (and                 (instance ?H Human)                 (instance ?V Automobile)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)                         (located ?S ?V)))))))	Cars.kif 5054-5065	Entit�Concreta è un' istanza di AutomobileSeat Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Automobile attribute Entit� and Sitting Entit� è localizzato in Entit�Concreta Entit�Concreta è localizzato in Entit� vales durante Entit�
(=>     (instance ?S BoatSeat)     (hasPurpose ?S         (exists (?H ?T ?V)             (and                 (instance ?H Human)                 (instance ?V WaterVehicle)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)                         (located ?S ?V)))))))	Cars.kif 5070-5081	Entit�Concreta è un' istanza di BoatSeat Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Umano Entit� è un' istanza di WaterVehicle attribute Entit� and Sitting Entit� è localizzato in Entit�Concreta Entit�Concreta è localizzato in Entit� vales durante Entit�
(=>     (instance ?S Sandwich)     (exists (?B1 ?B2 ?F)         (and             (instance ?B1 BreadOrBiscuit)             (instance ?B2 BreadOrBiscuit)             (instance ?F                 (FoodForFn Human))             (between ?B1 ?F ?B2)             (not                 (equal ?B1 ?B2))             (not                 (equal ?B1 ?F))             (not                 (equal ?B2 ?F))             (part ?B1 ?S)             (part ?B2 ?S)             (part ?F ?S))))	Food.kif 1584-1597	Oggetto è un' istanza di Sandwich Oggetto Oggetto and Oggetto Oggetto è un' istanza di BreadOrBiscuit Oggetto è un' istanza di BreadOrBiscuit Oggetto è un' istanza di FoodForFn Umano Oggetto è tra Oggetto e Oggetto Oggetto is uguale a Oggetto Oggetto is uguale a Oggetto Oggetto is uguale a Oggetto Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto
(=>     (instance ?S Seat)     (hasPurpose ?S         (exists (?H ?T)             (and                 (instance ?H Human)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)))))))	Cars.kif 5025-5034	Entit�Concreta è un' istanza di Seat Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Umano attribute Entit� and Sitting Entit� è localizzato in Entit�Concreta vales durante Entit�
(=>     (instance ?S Seating)     (exists (?P ?H)         (and             (experiencer ?S ?H)             (instance ?H Human)             (destination ?S ?P)             (instance ?P Seat))))	Mid-level-ontology.kif 23396-23403	Processo è un' istanza di Seating Entit� AutonomousAgent AutonomousAgent esperisces Processo AutonomousAgent è un' istanza di Umano Processo fines in Entit� Entit� è un' istanza di Seat
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