(=>     (instance ?X GrecianTub)     (hasPurpose ?X         (exists (?HUMAN ?SOAK)             (and                 (instance ?SOAK Soaking)                 (instance ?HUMAN Human)                 (agent ?SOAK ?HUMAN)                 (patient ?SOAK ?HUMAN)                 (eventLocated ?SOAK ?X)))))	Mid-level-ontology.kif 26532-26541	Entit�Concreta è un' istanza di GrecianTub Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Soaking Entit� è un' istanza di Umano Entit� è un agente di Entit� Entit� è un paziente di Entit� eventLocated Entit� and Entit�Concreta
(=>     (instance ?X HotelMiniBar)     (memberType ?X         (FoodForFn Human)))	Hotel.kif 1723-1725	InsiemeConcreto è un' istanza di HotelMiniBar memberType InsiemeConcreto and FoodForFn Umano
(=>     (instance ?X HumanCorpse)     (instance ?X         (DeadFn Human)))	Mid-level-ontology.kif 105-107	Entit� è un' istanza di HumanCorpse Entit� è un' istanza di DeadFn Umano
(=>     (instance ?X KingBed)     (modalAttribute         (exists (?P1 ?P2 ?P3 ?TIME)             (and                 (not                     (equal ?P1 ?P2))                 (not                     (equal ?P2 ?P3))                 (not                     (equal ?P1 ?P3))                 (attribute ?P1 Asleep)                 (attribute ?P2 Asleep)                 (attribute ?P3 Asleep)                 (instance ?P1 Human)                 (instance ?P2 Human)                 (instance ?P3 Human)                 (holdsDuring ?TIME                     (and                         (located ?P1 ?X)                         (located ?P2 ?X)                         (located ?P3 ?X))))) Possibility))	Mid-level-ontology.kif 3790-3808	Entit� è un' istanza di KingBed l'affermazione Entit� Entit�, Entit� and Entit� Entit� is uguale a Entit� Entit� is uguale a Entit� Entit� is uguale a Entit� attribute Entit� and Addormentato attribute Entit� and Addormentato attribute Entit� and Addormentato Entit� è un' istanza di Umano Entit� è un' istanza di Umano Entit� è un' istanza di Umano Entit� è localizzato in Entit� Entit� è localizzato in Entit� Entit� è localizzato in Entit� vales durante Entit� ha il modello di forza di Possibility
(=>     (instance ?X Meal)     (forall (?ITEM)         (=>             (member ?ITEM ?X)             (instance ?ITEM                 (FoodForFn Human)))))	Food.kif 1680-1685	InsiemeConcreto è un' istanza di Meal Entit�Concreta Entit�Concreta è un membro di InsiemeConcreto Entit�Concreta è un' istanza di FoodForFn Umano
(=>     (instance ?X OperatorAssistedTelephoneCommunication)     (exists (?ORIGIN ?DEST ?OPERATOR)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (instance ?OPERATOR Human)             (hasPurpose ?OPERATOR                 (exists (?PROC)                     (and                         (instance ?PROC IntentionalProcess)                         (agent ?PROC ?OPERATOR)                         (subProcess ?PROC ?X)                         (holdsDuring                             (ImmediateFutureFn                                 (WhenFn ?PROC))                             (modalAttribute                                 (exists (?COMM)                                     (and                                         (instance ?COMM Communication)                                         (origin ?COMM ?ORIGIN)                                         (destination ?COMM ?DEST))) Possibility))))))))	Mid-level-ontology.kif 27035-27057	Processo è un' istanza di OperatorAssistedTelephoneCommunication Oggetto Entit� and Entit�Concreta Processo si originas in Oggetto Processo fines in Entit� Entit�Concreta è un' istanza di Umano Entit�Concreta ha scopo Entit� Entit� è un' istanza di ProcessoIntenzionale Entit� è un agente di Entit�Concreta Entit� è un sottoprocesso di Processo l'affermazione Entit� Entit� è un' istanza di Comunicazione Entit� si originas in Oggetto Entit� fines in Entit� ha il modello di forza di Possibility vales durante immediatamente dopo il tempo di esistenza di Entit�
(=>     (instance ?X PreparedFood)     (instance ?X         (FoodForFn Human)))	Food.kif 315-317	Entit� è un' istanza di PreparedFood Entit� è un' istanza di FoodForFn Umano
(=>     (instance ?X QueenBed)     (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 3821-3834	Entit� è un' istanza di QueenBed 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
(=>     (instance ?X RestaurantBuilding)     (hasPurpose ?X         (exists (?OWN ?EMP ?EV ?P ?PAY)             (and                 (employs ?OWN ?EMP)                 (possesses ?OWN ?X)                 (instance ?P Human)                 (instance ?PAY FinancialTransaction)                 (agent ?PAY ?P)                 (patient ?PAY ?EMP)                 (confersRight ?EMP ?EV ?P)                 (instance ?EV Eating)                 (agent ?EV ?P)                 (eventLocated ?EV ?X)))))	Mid-level-ontology.kif 22559-22573	Entit�Concreta è un' istanza di RestaurantBuilding Entit�Concreta ha scopo Entit� Entit�, Entit�, Entit� and Entit�AY Entit� impiegas Entit� Entit� possiedees Entit�Concreta Entit� è un' istanza di Umano Entit�AY è un' istanza di ScambioFinanziario Entit�AY è un agente di Entit� Entit� è un paziente di Entit�AY Entit� permette a Entit� di compiere il compito di tipo Entit� Entit� è un' istanza di Mangiare Entit� è un agente di Entit� eventLocated Entit� and Entit�Concreta
(=>     (instance ?X RetailStore)     (and         (capability Selling agent ?X)         (exists (?P ?EV)             (and                 (instance ?EV Selling)                 (destination ?EV ?P)                 (instance ?P Human)))))	Mid-level-ontology.kif 7780-7788	Oggetto è un' istanza di RetailStore Oggetto è capace di fare Vendere nel ruolo agent Entit� Processo Processo è un' istanza di Vendere Processo fines in Entit� Entit� è un' istanza di Umano
(=>     (instance ?X SafetyDevice)     (hasPurpose ?X         (exists (?P ?H ?I ?T)             (and                 (instance ?H Human)                 (instance ?P Process)                 (patient ?P ?H)                 (instrument ?P ?X)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (=>                                 (holdsDuring ?T                                     (experiencer ?I ?H))                                 (not                                     (holdsDuring ?T                                         (patient ?P ?H)))))))))))	Cars.kif 3363-3381	Entit�Concreta è un' istanza di SafetyDevice Entit�Concreta ha scopo Entit� Entit�, Entit� and Entit� Entit� è un' istanza di Umano Entit� è un' istanza di Processo Entit� è un paziente di Entit� Entit�Concreta è uno strumento per Entit� Entit� impedisce l'occorrenza di la classe descritta da Entit�
(=>     (instance ?X SeatBelt)     (hasPurpose ?X         (exists (?PERSON ?STOP ?VEHICLE ?M)             (and                 (instance ?VEHICLE Vehicle)                 (part ?X ?VEHICLE)                 (instance ?PERSON Human)                 (contains ?VEHICLE ?PERSON)                 (instance ?STOP Process)                 (prevents ?STOP                     (KappaFn ?M                         (and                             (instance ?M Translocation)                             (patient ?M ?PERSON)                             (exists (?COLLISION)                                 (and                                     (or                                         (instance ?COLLISION Decelerating)                                         (instance ?COLLISION Impacting))                                     (experiencer ?COLLISION ?VEHICLE)                                     (causes ?COLLISION ?M)))                             (modalAttribute                                 (exists (?INJ ?IMP)                                     (and                                         (instance ?INJ Injuring)                                         (instance ?IMP Impacting)                                         (causes ?M ?INJ)                                         (patient ?INJ ?PERSON)                                         (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3683-3712	Entit�Concreta è un' istanza di SeatBelt Entit�Concreta ha scopo Entit� Entit�, Entit� and Entit� Entit� è un' istanza di Vehicle Entit�Concreta è una parte di Entit� Entit� è un' istanza di Umano contains Entit� and Entit� Entit� è un' istanza di Processo Entit� impedisce l'occorrenza di la classe descritta da Entit�
(=>     (instance ?X SubwaySystem)     (hasPurpose ?X         (exists (?EV ?P)             (and                 (instance ?EV Transportation)                 (instance ?P Human)                 (patient ?EV ?P)                 (eventLocated ?EV ?X)))))	Transportation.kif 335-343	Entit�Concreta è un' istanza di SubwaySystem Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Trasporto Entit� è un' istanza di Umano Entit� è un paziente di Entit� eventLocated Entit� and Entit�Concreta
(=>     (instance ?X Tennis)     (exists (?T1 ?T2)         (and             (contestParticipant ?X ?T1)             (contestParticipant ?X ?T2)             (not                 (equal ?T1 ?T2))             (or                 (instance ?T1 Human)                 (and                     (instance ?T1 GroupOfPeople)                     (memberCount ?T1 2)))             (or                 (instance ?T2 Human)                 (and                     (instance ?T2 GroupOfPeople)                     (memberCount ?T2 2))))))	Sports.kif 857-873	Competizione è un' istanza di Tennis AutonomousAgent AutonomousAgent contestParticipant Competizione and AutonomousAgent contestParticipant Competizione and AutonomousAgent AutonomousAgent is uguale a AutonomousAgent AutonomousAgent è un' istanza di Umano AutonomousAgent è un' istanza di GroupOfPeople memberCount AutonomousAgent and 2 AutonomousAgent è un' istanza di Umano AutonomousAgent è un' istanza di GroupOfPeople memberCount AutonomousAgent and 2
(=>     (instance ?X WaterSkiing)     (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)         (and             (instance ?BOAT WaterVehicle)             (instance ?WATER WaterArea)             (instance ?SKI WaterSki)             (eventLocated ?X ?WATER)             (instance ?HUMAN Human)             (located ?HUMAN ?SKI)             (connects ?LINE ?HUMAN ?BOAT)             (instance ?TRANS Transportation)             (instrument ?TRANS ?BOAT)             (instance ?MOTION Motion)             (agent ?MOTION ?HUMAN)             (instrument ?MOTION ?SKI)             (causes ?TRANS ?MOTION)             (subProcess ?MOTION ?X))))	Sports.kif 1247-1264	Processo è un' istanza di WaterSkiing AutonomousAgent Oggetto, Oggetto, Oggetto, Oggetto, Processo and Processo Oggetto è un' istanza di WaterVehicle Oggetto è un' istanza di SuperficieAcquatica Oggetto è un' istanza di WaterSki eventLocated Processo and Oggetto AutonomousAgent è un' istanza di Umano AutonomousAgent è localizzato in Oggetto Oggetto connette AutonomousAgent e Oggetto Processo è un' istanza di Trasporto Oggetto è uno strumento per Processo Processo è un' istanza di Movimento Processo è un agente di AutonomousAgent Oggetto è uno strumento per Processo Processo causas Processo Processo è un sottoprocesso di Processo
(=>     (instance ?X Wheelchair)     (hasPurpose ?X         (exists (?TRANSPORT ?HUMAN)             (and                 (instance ?HUMAN Human)                 (not                     (capability Walking agent ?HUMAN))                 (instance ?TRANSPORT Transportation)                 (agent ?TRANSPORT ?HUMAN)                 (instrument ?TRANSPORT ?X)))))	Mid-level-ontology.kif 26126-26135	Entit�Concreta è un' istanza di Wheelchair Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Umano Entit� è capace di fare Camminare nel ruolo agent Entit� è un' istanza di Trasporto Entit� è un agente di Entit� Entit�Concreta è uno strumento per Entit�
(=>     (instance ?Y SulphurDioxide)     (modalAttribute         (exists (?D ?P)             (and                 (instance ?D Damaging)                 (instance ?P Human)                 (instrument ?D ?Y)                 (patient ?D ?P))) Possibility))	Geography.kif 7189-7197	Entit� è un' istanza di SulphurDioxide l'affermazione Entit� Entit� Entit� è un' istanza di Danneggiare Entit� è un' istanza di Umano Entit� è uno strumento per Entit� Entit� è un paziente di Entit� ha il modello di forza di Possibility
(=>     (instance ?Z Zakat)     (exists (?H)         (and             (instance ?H Human)             (agent ?Z ?H)             (attribute ?H Muslim))))	ArabicCulture.kif 196-202	Processo è un' istanza di Zakat AutonomousAgent AutonomousAgent è un' istanza di Umano Processo è un agente di AutonomousAgent attribute AutonomousAgent and Muslim
(=>     (medicine ?MC ?D)     (exists (?DOC)         (and             (instance ?DOC MedicalDoctor)             (believes ?DOC                 (exists (?T ?H ?M)                     (and                         (instance ?M ?MC)                         (instance ?T TherapeuticProcess)                         (instance ?H Human)                         (patientMedical ?H ?DOC)                         (resource ?T ?M)                         (benefits ?T ?H)))))))	Mid-level-ontology.kif 9651-9664	medicine Medicine and MalattiaOSindrome MalattiaOSindromeOC MalattiaOSindromeOC è un' istanza di MedicalDoctor MalattiaOSindromeOC credes Entit� Entit� and Entit� Entit� è un' istanza di Medicine Entit� è un' istanza di ProcessoTerapeutico Entit� è un' istanza di Umano patientMedical Entit� and MalattiaOSindromeOC Entit� è una risorsa per Entit� benefits Entit� and Entit�
(=>     (member ?AGENT InternationalCourtOfJustice)     (and         (instance ?AGENT Human)         (attribute ?AGENT JudgeAtLaw)))	Government.kif 3460-3464	Oggetto è un membro di InternationalCourtOfJustice Oggetto è un' istanza di Umano attribute Oggetto and JudgeAtLaw
(=>     (subclass ?W DrinkingWater)     (subclass ?W         (FoodForFn Human)))	Geography.kif 2815-2818	Classe è una sottoclasse di DrinkingWater Classe è una sottoclasse di FoodForFn Umano
(=>     (treatedPage ?WEBPAGE ?EXPERIMENT)     (exists (?EVENT ?VISITOR ?ACCESSING)         (and             (member ?EVENT                 (QualifyingEventsFn ?EXPERIMENT))             (=>                 (and                     (instance ?VISITOR Human)                     (instance ?ACCESSING AccessingWebPage)                     (agent ?ACCESSING ?VISITOR)                     (destination ?ACCESSING ?WEBPAGE))                 (experiencer ?VISITOR ?EVENT)))))	UXExperimentalTerms.kif 4125-4136	treatedPage WebPage and Experimenting AutonomousAgent AutonomousAgent and Processo AutonomousAgent è un membro di QualifyingEventsFn Experimenting AutonomousAgent è un' istanza di Umano Processo è un' istanza di AccessingWebPage Processo è un agente di AutonomousAgent Processo fines in WebPage AutonomousAgent esperisces AutonomousAgent

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