(=>     (instance ?S Shield)     (hasPurpose ?S         (exists (?P ?H ?I)             (and                 (instance ?P Protecting)                 (instrument ?P ?S)                 (instance ?H Human)                 (patient ?P ?H)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (exists (?W)                                 (and                                     (instance ?W Weapon)                                     (instrument ?I ?W)))                             (=>                                 (patient ?I ?H)                                 (not                                     (patient ?P ?H))))))))))	Mid-level-ontology.kif 1472-1492	Entit�Concreta è un' istanza di Shield Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Protecting Entit�Concreta è uno strumento per Entit� Entit� è un' istanza di Umano Entit� è un paziente di Entit� Entit� impedisce l'occorrenza di la classe descritta da Entit�
(=>     (instance ?S Sieve)     (hasPurpose ?S         (exists (?REMOVE ?MIX ?SUB ?HOLE ?A)             (and                 (instance ?REMOVE Removing)                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (patient ?REMOVE ?SUB)                 (part ?HOLE ?S)                 (instrument ?REMOVE ?HOLE)                 (instance ?A Human)                 (agent ?REMOVE ?A)                 (not                     (desires ?A ?SUB))))))	Mid-level-ontology.kif 4528-4543	Entit�Concreta è un' istanza di Sieve Entit�Concreta ha scopo Entit� Entit�, Entit�ConcretaUB, Entit� and Entit� Entit� è un' istanza di Spostamento Entit� è un' istanza di Mistura Entit�ConcretaUB è un' istanza di Sostanza Entit�ConcretaUB è una parte di Entit� Entit�ConcretaUB è un paziente di Entit� Entit� è una parte di Entit�Concreta Entit� è uno strumento per Entit� Entit� è un' istanza di Umano Entit� è un agente di Entit� Entit� non desidera Entit�ConcretaUB
(=>     (instance ?S Sofa)     (hasPurpose ?S         (exists (?P1 ?P2 ?T)             (and                 (not                     (equal ?P1 ?P2))                 (instance ?P1 Human)                 (instance ?P2 Human)                 (holdsDuring ?T                     (and                         (attribute ?P1 Sitting)                         (attribute ?P2 Sitting)                         (eventLocated ?P1 ?S)                         (eventLocated ?P2 ?S)))))))	Mid-level-ontology.kif 3754-3767	Entit�Concreta è un' istanza di Sofa Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� is uguale a Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Umano attribute Entit� and Sitting attribute Entit� and Sitting eventLocated Entit� and Entit�Concreta eventLocated Entit� and Entit�Concreta vales durante Entit�
(=>     (instance ?S VehicleSeat)     (hasPurpose ?S         (exists (?H ?T ?V)             (and                 (instance ?H Human)                 (instance ?V Vehicle)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)                         (located ?S ?V)))))))	Cars.kif 5037-5048	Entit�Concreta è un' istanza di VehicleSeat Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Vehicle attribute Entit� and Sitting Entit� è localizzato in Entit�Concreta Entit�Concreta è localizzato in Entit� vales durante Entit�
(=>     (instance ?SADDLE Saddle)     (exists (?RIDE)         (capability             (KappaFn ?RIDE                 (exists (?HUMAN ?HORSE)                     (and                         (instance ?RIDE Carrying)                         (patient ?RIDE ?HUMAN)                         (instance ?HUMAN Human)                         (agent ?RIDE ?HORSE)                         (instance ?HORSE Horse)))) instrument ?SADDLE)))	Mid-level-ontology.kif 4326-4337	Oggetto è un' istanza di Saddle Stringa Oggetto è capace di fare la classe descritta da Stringa nel ruolo instrument
(=>     (instance ?SEAT Seat)     (hasPurpose ?SEAT         (exists (?PERSON)             (and                 (instance ?PERSON Human)                 (located ?PERSON ?SEAT)                 (attribute ?PERSON Sitting)))))	Mid-level-ontology.kif 3720-3727	Entit�Concreta è un' istanza di Seat Entit�Concreta ha scopo Entit� Entit� è un' istanza di Umano Entit� è localizzato in Entit�Concreta attribute Entit� and Sitting
(=>     (instance ?SHIP PassengerShip)     (cargoType ?SHIP Human))	Transportation.kif 2311-2313	MezzoDiTrasporto è un' istanza di PassengerShip cargoType MezzoDiTrasporto and Umano
(=>     (instance ?STORE WebStore)     (exists (?OWNER)         (and             (instance ?OWNER Human)             (possesses ?OWNER ?STORE))))	UXExperimentalTerms.kif 2148-2153	Oggetto è un' istanza di WebStore AutonomousAgent AutonomousAgent è un' istanza di Umano AutonomousAgent possiedees Oggetto
(=>     (instance ?SV SafetyVest)     (hasPurpose ?SV         (exists (?PERSON ?SPECTATOR)             (and                 (instance ?PERSON Animal)                 (instance ?SPECTATOR Human)                 (increasesLikelihood                     (wears ?PERSON ?SV)                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR))))                 (decreasesLikelihood                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR)))                     (exists (?INJ)                         (and                             (instance ?INJ Injuring)                             (agent ?INJ ?SPECTATOR)                             (patient ?INJ ?PERSON))))))))	Cars.kif 3566-3590	Entit�Concreta è un' istanza di SafetyVest Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Animale Entit� è un' istanza di Umano wears Entit� and Entit�Concreta aumentas la verosimiglianza di Entit� Entit� è un' istanza di Vista Entit� è un paziente di Entit� Entit� esperisces Entit� decreasesLikelihood Entit� Entit� è un' istanza di Vista Entit� è un paziente di Entit� Entit� esperisces Entit� and Entit� Entit� è un' istanza di Trauma Entit� è un agente di Entit� Entit� è un paziente di Entit�
(=>     (instance ?T Tail)     (exists (?V)         (and             (instance ?V Vertebrate)             (part ?T ?V)             (not                 (instance ?V Human)))))	Mid-level-ontology.kif 10973-10979	Oggetto è un' istanza di Tail Oggetto Oggetto è un' istanza di Vertebrato Oggetto è una parte di Oggetto Oggetto è un' istanza di Umano
(=>     (instance ?TA TranexamicAcid)     (hasPurpose ?TA         (exists (?P)             (and                 (instance ?P Human)                 (decreasesLikelihood                     (exists (?I)                         (and                             (instance ?I Ingesting)                             (objectTransferred ?I ?TA)                             (destination ?I ?P)))                     (exists (?P ?B)                         (and                             (instance ?P Human)                             (instance ?B Bleeding)                             (origin ?B ?P))))))))	Medicine.kif 1050-1066	Entit�Concreta è un' istanza di TranexamicAcid Entit�Concreta ha scopo Entit� Entit� è un' istanza di Umano decreasesLikelihood Entit� Entit� è un' istanza di Ingestione objectTransferred Entit� and Entit�Concreta Entit� fines in Entit� and Entit� Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Bleeding Entit� si originas in Entit�
(=>     (instance ?TEAM CrossFunctionalTeam)     (exists (?INTEREST)         (and             (instance ?INTEREST Entity)             (forall (?MEMBER)                 (=>                     (and                         (instance ?MEMBER Human)                         (member ?MEMBER ?TEAM))                     (inScopeOfInterest ?MEMBER ?INTEREST))))))	UXExperimentalTerms.kif 2618-2628	InsiemeConcreto è un' istanza di CrossFunctionalTeam Entit� Entit� è un' istanza di Entit� AgenteCognitivo AgenteCognitivo è un' istanza di Umano AgenteCognitivo è un membro di InsiemeConcreto AgenteCognitivo è interessato a Entit�
(=>     (instance ?TEAM CrossFunctionalTeam)     (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)         (and             (subclass ?SKILL Process)             (instance ?MEMBER1 Human)             (instance ?MEMBER2 Human)             (member ?MEMBER1 ?TEAM)             (member ?MEMBER2 ?TEAM)             (hasSkill ?SKILL ?MEMBER1)             (not                 (hasSkill ?SKILL ?MEMBER2))             (instance ?INST ?SKILL)             (inScopeOfInterest ?TEAM ?INST))))	UXExperimentalTerms.kif 2630-2643	InsiemeConcreto è un' istanza di CrossFunctionalTeam Processo AutonomousAgent, AutonomousAgent and Entit� Processo è una sottoclasse di Processo AutonomousAgent è un' istanza di Umano AutonomousAgent è un' istanza di Umano AutonomousAgent è un membro di InsiemeConcreto AutonomousAgent è un membro di InsiemeConcreto AutonomousAgent ha &n la capacità di fare Processo AutonomousAgent ha &n la capacità di fare Processo Entit� è un' istanza di Processo InsiemeConcreto è interessato a Entit�
(=>     (instance ?TEXT BirthCertificate)     (hasPurpose ?TEXT         (exists (?B ?A)             (and                 (instance ?B Birth)                 (instance ?A Human)                 (experiencer ?B ?A)                 (represents ?TEXT ?B)))))	Biography.kif 240-248	Entit�Concreta è un' istanza di BirthCertificate Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Nascita Entit� è un' istanza di Umano Entit� esperisces Entit� Entit�Concreta esprime Entit�
(=>     (instance ?TEXT DeathCertificate)     (hasPurpose ?TEXT         (exists (?D ?A)             (and                 (instance ?D Death)                 (instance ?A Human)                 (experiencer ?D ?A)                 (represents ?TEXT ?D)))))	Biography.kif 270-278	Entit�Concreta è un' istanza di DeathCertificate Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Morte Entit� è un' istanza di Umano Entit� esperisces Entit� Entit�Concreta esprime Entit�
(=>     (instance ?TEXT MarriageCertificate)     (exists (?S ?W ?A ?B)         (and             (instance ?S SigningAnAgreement)             (patient ?S ?TEXT)             (instance ?W Wedding)             (represents ?TEXT ?W)             (subProcess ?S ?W)             (patient ?W ?A)             (instance ?A Human)             (patient ?W ?B)             (instance ?B Human)             (not                 (equal ?A ?B))             (agent ?S ?A)             (agent ?S ?B))))	Biography.kif 319-335	Entit� è un' istanza di MarriageCertificate Processo Processo, AutonomousAgent and AutonomousAgent Processo è un' istanza di SigningAnAgreement Entit� è un paziente di Processo Processo è un' istanza di Wedding Entit� esprime Processo Processo è un sottoprocesso di Processo AutonomousAgent è un paziente di Processo AutonomousAgent è un' istanza di Umano AutonomousAgent è un paziente di Processo AutonomousAgent è un' istanza di Umano AutonomousAgent is uguale a AutonomousAgent Processo è un agente di AutonomousAgent Processo è un agente di AutonomousAgent
(=>     (instance ?TRACK RunningTrack)     (hasPurpose ?TRACK         (exists (?RUN ?HUMAN)             (and                 (instance ?HUMAN Human)                 (instance ?RUN Running)                 (agent ?RUN ?HUMAN)                 (path ?RUN ?TRACK)))))	Mid-level-ontology.kif 25794-25802	Entit�Concreta è un' istanza di RunningTrack Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Running Entit� è un agente di Entit� Entit�Concreta è cammino mentre Entit� si verifica
(=>     (instance ?TW TapWater)     (modalAttribute         (instance ?TW             (FoodForFn Human)) Likely))	Food.kif 285-289	Entit� è un' istanza di TapWater l'affermazione Entit� è un' istanza di FoodForFn Umano ha il modello di forza di Likely
(=>     (instance ?VM VendingMachine)     (hasPurpose ?VM         (exists (?H ?O ?V)             (and                 (instance ?V Vending)                 (instance ?H Human)                 (instance ?O Object)                 (objectTransferred ?V ?O)                 (instrument ?V ?VM)                 (origin ?V ?VM)                 (not                     (instance ?O Currency))                 (destination ?V ?H)))))	Mid-level-ontology.kif 1959-1972	Entit�Concreta è un' istanza di VendingMachine Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Vending Entit� è un' istanza di Umano Entit� è un' istanza di Oggetto objectTransferred Entit� and Entit� Entit�Concreta è uno strumento per Entit� Entit� si originas in Entit�Concreta Entit� è un' istanza di Currency Entit� fines in Entit�
(=>     (instance ?WI WearableItem)     (hasPurpose ?WI         (exists (?H)             (and                 (instance ?H Human)                 (wears ?H ?WI)))))	Merge.kif 15914-15920	Entit�Concreta è un' istanza di WearableItem Entit�Concreta ha scopo Entit� Entit� è un' istanza di Umano wears Entit� and Entit�Concreta
(=>     (instance ?X AutoAirbag)     (hasPurpose ?X         (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)             (and                 (instance ?CAR Automobile)                 (part ?X ?CAR)                 (instance ?PERSON Human)                 (contains ?CAR ?PERSON)                 (instance ?IMP Impacting)                 (patient ?IMP ?CAR)                 (instance ?INF Inflating)                 (patient ?INF ?X)                 (causes ?IMP ?INF)                 (hinders ?INF                     (KappaFn ?INJ                         (and                             (instance ?INJ Injuring)                             (experiencer ?INJ ?PERSON)                             (exists (?HIT)                                 (and                                     (instance ?HIT Impacting)                                     (destination ?HIT ?CAR)                                     (experiencer ?HIT ?PERSON)                                     (causes ?HIT ?INJ))))))))))	Cars.kif 3640-3664	Entit�Concreta è un' istanza di AutoAirbag Entit�Concreta ha scopo Entit� Entit�, Entit�, Entit�, Entit� and Entit� Entit� è un' istanza di Automobile Entit�Concreta è una parte di Entit� Entit� è un' istanza di Umano contains Entit� and Entit� Entit� è un' istanza di Impatto Entit� è un paziente di Entit� Entit� è un' istanza di Inflating Entit�Concreta è un paziente di Entit� Entit� causas Entit� hinders Entit� and la classe descritta da Entit�
(=>     (instance ?X BabyMonitoringSystem)     (exists (?TX ?RX)         (and             (instance ?RX RadioReceiver)             (instance ?TX Device)             (engineeringSubcomponent ?RX ?X)             (engineeringSubcomponent ?TX ?X)             (hasPurpose ?X                 (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)                     (and                         (instance ?BABY HumanBaby)                         (instance ?CARER Human)                         (located ?BABY ?LOC1)                         (located ?CARER ?LOC2)                         (not                             (equal ?LOC1 ?LOC2))                         (instance ?PROC Maintaining)                         (patient ?PROC ?BABY)                         (agent ?PROC ?CARER)                         (located ?TX ?LOC1)                         (located ?RX ?LOC2)                         (instance ?SOUND RadiatingSound)                         (eventLocated ?SOUND ?LOC1)                         (instance ?RADIO RadioEmission)                         (patient ?RADIO ?SOUND)                         (destination ?RADIO ?RX)                         (agent ?RADIO ?TX)))))))	Communications.kif 258-284	Meccanismo è un' istanza di BabyMonitoringSystem Meccanismo Meccanismo Meccanismo è un' istanza di RadioReceiver Meccanismo è un' istanza di Dispositivo Meccanismo è un componente di Meccanismo Meccanismo è un componente di Meccanismo Meccanismo ha scopo Entit� Entit�, Entit�, Entit�, Entit�, Entit� and Entit� Entit� è un' istanza di HumanBaby Entit� è un' istanza di Umano Entit� è localizzato in Entit� Entit� è localizzato in Entit� Entit� is uguale a Entit� Entit� è un' istanza di Mantenere Entit� è un paziente di Entit� Entit� è un agente di Entit� Meccanismo è localizzato in Entit� Meccanismo è localizzato in Entit� Entit� è un' istanza di OndaSonora eventLocated Entit� and Entit� Entit� è un' istanza di RadioEmission Entit� è un paziente di Entit� Entit� fines in Meccanismo Entit� è un agente di Meccanismo
(=>     (instance ?X Buffet)     (forall (?ITEM)         (=>             (member ?ITEM ?X)             (instance ?ITEM                 (FoodForFn Human)))))	Dining.kif 260-265	InsiemeConcreto è un' istanza di Buffet Entit�Concreta Entit�Concreta è un membro di InsiemeConcreto Entit�Concreta è un' istanza di FoodForFn Umano
(=>     (instance ?X DirectDialTelephoneCommunication)     (not         (exists (?OPERATOR)             (and                 (instance ?OPERATOR Human)                 (hasPurpose ?OPERATOR                     (exists (?PROC)                         (and                             (agent ?PROC ?OPERATOR)                             (subProcess ?PROC ?X)                             (instance ?PROC TelephoneCommunication))))))))	Mid-level-ontology.kif 27066-27077	Entit� è un' istanza di DirectDialTelephoneCommunication Entit�Concreta Entit�Concreta è un' istanza di Umano Entit�Concreta ha scopo Entit� Entit� è un agente di Entit�Concreta Entit� è un sottoprocesso di Entit� Entit� è un' istanza di TelephoneCommunication
(=>     (instance ?X DoubleBed)     (modalAttribute         (exists (?P1 ?P2 ?TIME)             (and                 (not                     (equal ?P1 ?P2))                 (instance ?P1 Human)                 (instance ?P2 Human)                 (holdsDuring ?TIME                     (and                         (attribute ?P1 Asleep)                         (attribute ?P2 Asleep)                         (located ?P1 ?X)                         (located ?P2 ?X))))) Possibility))	Mid-level-ontology.kif 3847-3860	Entit� è un' istanza di DoubleBed l'affermazione Entit� Entit� and Entit� Entit� is uguale a Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Umano attribute Entit� and Addormentato attribute Entit� and Addormentato Entit� è localizzato in Entit� Entit� è localizzato in Entit� vales durante Entit� ha il modello di forza di Possibility
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