(=>     (and         (resourceExhausted ?P ?R)         (instance ?R ?C))     (holdsDuring         (ImmediateFutureFn             (WhenFn ?P))         (not             (exists (?OBJ1)                 (and                     (part ?OBJ1 ?R)                     (instance ?OBJ1 ?C))))))	Merge.kif 2537-2546	resourceExhausted processus and objet objet est une instance de classe entit� entit� est une partie de objet entit� est une instance de classe pendant immediatement apr�s temps d'existence de processus
(=>     (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)     (exists (?ORGANISM ?TIME ?SAMPLE ?PROC)         (and             (holdsDuring ?TIME                 (attribute ?ORGANISM ?DISEASE))             (increasesLikelihood                 (and                     (instance ?PROC ?PROCESS)                     (temporalPart                         (WhenFn ?PROC) ?TIME)                     (experiencer ?PROC ?ORGANISM)                     (patient ?PROC ?SAMPLE)                     (instance ?SAMPLE ?SUBSTANCE))                 (holdsDuring                     (ImmediateFutureFn ?TIME)                     (not                         (attribute ?ORGANISM ?DISEASE)))))))	WMD.kif 941-955	diseaseMedicine maladie ou syndrome, substance biologique active and processus entit� position temporel, entit� and entit� maladie ou syndrome est un attribut de entit� pendant position temporel entit� est une instance de processus temps d'existence de entit� est une partie de position temporel entit� exp�rimente entit� entit� est un patient de entit� entit� est une instance de substance biologique active augmente la probabilit� de maladie ou syndrome est un attribut de entit� pendant immediatement apr�s position temporel
(=>     (holdsDuring ?T         (and             (maxDeviceOperatingTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOn)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (greaterThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3629-3642	maxDeviceOperatingTemp entit� and entit� entit�(s) entit� est une instance de UnitOfTemperature entit� est situ� � entit� DeviceOn est un attribut de entit� airTemperature entit� and entit� entit�(s) entit� est plus grand que entit� pendant position temporel l'argument DeviceDamaged est un attribut de entit� pendant immediatement apr�s position temporel a la force modale de Likely
(=>     (holdsDuring ?T         (and             (maxDeviceStorageTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOff)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (greaterThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3657-3670	maxDeviceStorageTemp entit� and entit� entit�(s) entit� est une instance de UnitOfTemperature entit� est situ� � entit� DeviceOff est un attribut de entit� airTemperature entit� and entit� entit�(s) entit� est plus grand que entit� pendant position temporel l'argument DeviceDamaged est un attribut de entit� pendant immediatement apr�s position temporel a la force modale de Likely
(=>     (holdsDuring ?T         (and             (minDeviceOperatingTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOn)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (lessThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3682-3695	minDeviceOperatingTemp entit� and entit� entit�(s) entit� est une instance de UnitOfTemperature entit� est situ� � entit� DeviceOn est un attribut de entit� airTemperature entit� and entit� entit�(s) entit� est moins que entit� pendant position temporel l'argument DeviceDamaged est un attribut de entit� pendant immediatement apr�s position temporel a la force modale de Likely
(=>     (holdsDuring ?T         (and             (minDeviceStorageTemp ?D                 (MeasureFn ?T1 ?U))             (instance ?U UnitOfTemperature)             (located ?D ?A)             (attribute ?D DeviceOff)             (airTemperature ?A                 (MeasureFn ?T2 ?U))             (lessThan ?T2 ?T1)))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?D DeviceDamaged)) Likely))	ComputingBrands.kif 3708-3721	minDeviceStorageTemp entit� and entit� entit�(s) entit� est une instance de UnitOfTemperature entit� est situ� � entit� DeviceOff est un attribut de entit� airTemperature entit� and entit� entit�(s) entit� est moins que entit� pendant position temporel l'argument DeviceDamaged est un attribut de entit� pendant immediatement apr�s position temporel a la force modale de Likely
(=>     (holdsDuring ?T         (attribute ?H Covid19))     (modalAttribute         (holdsDuring             (ImmediateFutureFn ?T)             (and                 (instance ?CA COVIDAntibody)                 (part ?CA ?H))) Likely))	Medicine.kif 2798-2807	Covid19 est un attribut de entit� pendant position temporel l'argument entit� est une instance de COVIDAntibody entit� est une partie de entit� pendant immediatement apr�s position temporel a la force modale de Likely
(=>     (holdsDuring ?T         (attribute ?H Sleepy))     (desires ?H         (holdsDuring             (ImmediateFutureFn ?T)             (attribute ?H Asleep))))	Mid-level-ontology.kif 16434-16440	Sleepy est un attribut de agent cognitif pendant position temporel agent cognitif desire endormi est un attribut de agent cognitif pendant immediatement apr�s position temporel
(=>     (holdsDuring ?TIME         (attribute ?T Tourniquet))     (exists (?P ?B ?A)         (and             (instance ?P Human)             (instance ?B Bleeding)             (instance ?A Attaching)             (experiencer ?B ?P)             (destination ?A ?P)             (objectTransferred ?A ?T)             (hasPurpose ?T                 (not                     (exists (?B2)                         (and                             (instance ?B2 Bleeding)                             (overlapsTemporally                                 (WhenFn ?B2)                                 (ImmediateFutureFn                                     (WhenFn ?A)))                             (experiencer ?B2 ?P))))))))	Medicine.kif 20-39	Tourniquet est un attribut de objet pendant objetIME AutonomousAgent processus and transf�re AutonomousAgent est une instance de humain processus est une instance de Bleeding transf�re est une instance de attacher AutonomousAgent exp�rimente processus transf�re aboutit � AutonomousAgent objectTransferred transf�re and objet objet a pour but processus2 processus2 est une instance de Bleeding immediatement apr�s temps d'existence de transf�re recouvre temps d'existence de processus2 AutonomousAgent exp�rimente processus2
(=>     (holdsDuring ?TIME         (confersNorm ?ENTITY ?FORMULA ?NORM))     (and         (holdsDuring             (ImmediatePastFn ?TIME)             (not                 (modalAttribute ?FORMULA ?NORM)))         (holdsDuring             (ImmediateFutureFn ?TIME)             (modalAttribute ?FORMULA ?NORM))))	Merge.kif 4000-4010	confersNorm entit�, entit� and entit� pendant position temporel l'argument entit� n' %n{pas} la force modale de entit� pendant immediatement avant position temporel l'argument entit� a la force modale de entit� pendant immediatement apr�s position temporel
(=>     (holdsDuring ?TIME         (deprivesNorm ?ENTITY ?FORMULA ?NORM))     (and         (holdsDuring             (ImmediatePastFn ?TIME)             (modalAttribute ?FORMULA ?NORM))         (holdsDuring             (ImmediateFutureFn ?TIME)             (not                 (modalAttribute ?FORMULA ?NORM)))))	Merge.kif 4022-4031	deprivesNorm entit�, entit� and entit� pendant position temporel l'argument entit� a la force modale de entit� pendant immediatement avant position temporel l'argument entit� n' %n{pas} la force modale de entit� pendant immediatement apr�s position temporel
(=>     (instance ?BA BleedingAir)     (hasPurpose ?BA         (exists (?FC ?A)             (and                 (instance ?FC FluidContainer)                 (instance ?A Air)                 (holdsDuring                     (ImmediatePastFn ?BA)                     (contains ?FC ?A))                 (holdsDuring                     (ImmediateFutureFn ?BA)                     (not                         (contains ?FC ?A)))))))	Cars.kif 1519-1529	Physique est une instance de BleedingAir physique a pour but entit� entit� entit� est une instance de FluidContainer entit� est une instance de Air entit� contient entit� pendant immediatement avant physique entit� ne contient %n{pas} entit� pendant immediatement apr�s physique
(=>     (instance ?C Clotting)     (exists (?B)         (and             (instance ?B Blood)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?C))                 (attribute ?B Liquid))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?C))                 (attribute ?B Solid)))))	Mid-level-ontology.kif 10498-10510	Physique est une instance de Clotting entit� entit� est une instance de sang Liquid est un attribut de entit� pendant immediatement avant temps d'existence de physique Solid est un attribut de entit� pendant immediatement apr�s temps d'existence de physique
(=>     (instance ?C Coronation)     (exists (?PERSON ?PLACE)         (and             (instance ?PERSON Human)             (patient ?C ?PERSON)             (instance ?PLACE GeopoliticalArea)             (holdsDuring                 (BeginFn                     (WhenFn ?C))                 (not                     (chiefOfState ?PLACE Monarch ?PERSON)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?C))                 (chiefOfState ?PLACE Monarch ?PERSON)))))	Government.kif 1375-1390	Processus est une instance de Coronation entit� entit� entit� est une instance de humain entit� est un patient de processus entit� est une instance de secteur g�opolitique chiefOfState entit�, Monarch and entit� pendant le d�but de temps d'existence de processus chiefOfState entit�, Monarch and entit� pendant immediatement apr�s temps d'existence de processus
(=>     (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	Processus est une instance de FoodDistributionOperation entit� entit� entit� est une instance de FoodForFn animal entit� est une instance de agent cognitif entit� est un patient de processus processus aboutit � entit� entit� poss�de entit� pendant immediatement apr�s temps d'existence de processus
(=>     (instance ?FMIP FindMyIPhone)     (hasPurpose ?FMIP         (exists (?A ?IP ?P ?L)             (and                 (instance ?IP AppleIPhone)                 (instrument ?P ?FMIP)                 (agent ?P ?A)                 (patient ?P ?IP)                 (holdsDuring                     (ImmediatePastFn                         (WhenFn ?P))                     (not                         (knows ?A                             (located ?IP ?L))))                 (holdsDuring                     (ImmediateFutureFn                         (WhenFn ?P))                     (knows ?A                         (located ?IP ?L)))))))	ComputingBrands.kif 4263-4282	Physique est une instance de FindMyIPhone physique a pour but entit� entit�, entit� and entit� entit� est une instance de AppleIPhone physique est un instrument pour entit� entit� est un agent de entit� entit� est un patient de entit� entit� ne conna�t %n{pas} entit� est situ� � entit� pendant immediatement avant temps d'existence de entit� entit� conna�t entit� est situ� � entit� pendant immediatement apr�s temps d'existence de entit�
(=>     (instance ?I Inflating)     (exists (?G1 ?G2 ?V1 ?V2 ?S ?U)         (and             (instance ?G1 ?S)             (instance ?G2 ?S)             (instance ?S Substance)             (attribute ?G1 Gas)             (attribute ?G2 Gas)             (instance ?U UnitOfVolume)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?I))                 (measure ?G1                     (MeasureFn ?V1 ?U)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?I))                 (measure ?G2                     (MeasureFn ?V2 ?U)))             (greaterThan ?V2 ?V1))))	Cars.kif 3606-3622	Physique est une instance de Inflating objet objet, nombre r�el, nombre r�el, classe and entit� objet est une instance de classe objet est une instance de classe classe est une instance de substance Gas est un attribut de objet Gas est un attribut de objet entit� est une instance de UnitOfVolume la mesure de objet est nombre r�el entit�(s) pendant immediatement avant temps d'existence de physique la mesure de objet est nombre r�el entit�(s) pendant immediatement apr�s temps d'existence de physique nombre r�el est plus grand que nombre r�el
(=>     (instance ?INTERVAL TimeInterval)     (starts         (ImmediateFutureFn ?INTERVAL)         (FutureFn ?INTERVAL)))	Merge.kif 8535-8537	Position temporel est une instance de interval temporel immediatement apr�s position temporel commence apr�s position temporel
(=>     (instance ?MD MountingADevice)     (exists (?C ?P)         (and             (instance ?C Computer)             (instance ?P ComputerIODevice)             (patient ?MD ?C)             (patient ?MD ?P)             (holdsDuring                 (WhenFn ?MD)                 (connectedEngineeringComponents ?C ?P))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?MD))                 (connectedPeripheral ?P ?C)))))	ComputingBrands.kif 3801-3812	Processus est une instance de MountingADevice entit� entit� entit� est une instance de Computer entit� est une instance de ComputerIODevice entit� est un patient de processus entit� est un patient de processus entit� est connect� � entit� pendant temps d'existence de processus connectedPeripheral entit� and entit� pendant immediatement apr�s temps d'existence de processus
(=>     (instance ?S Shrapnel)     (exists (?B ?E)         (and             (instance ?B Bomb)             (instance ?E Explosion)             (instrument ?E ?B)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?E))                 (part ?S ?B))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?E))                 (not                     (part ?S ?B))))))	MilitaryDevices.kif 2103-2118	Entit� est une instance de Shrapnel objet processus objet est une instance de Bomb processus est une instance de Explosion objet est un instrument pour processus entit� est une partie de objet pendant immediatement avant temps d'existence de processus entit� est une partie de objet pendant immediatement apr�s temps d'existence de processus
(=>     (instance ?WED Wedding)     (exists (?PERSON1 ?PERSON2)         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?WED))             (spouse ?PERSON1 ?PERSON2))))	Mid-level-ontology.kif 7965-7970	Physique est une instance de Wedding entit� entit� spouse entit� and entit� pendant immediatement apr�s temps d'existence de physique
(=>     (instance ?X DeletingData)     (and         (exists (?DATA)             (and                 (instance ?DATA DigitalData)                 (patient ?X ?DATA)))         (not             (exists (?PROC ?CLASS)                 (and                     (instance ?PROC ComputerProcess)                     (instance ?PROC ?CLASS)                     (not                         (instance ?PROC RestoringData))                     (holdsDuring                         (ImmediateFutureFn                             (WhenFn ?X))                         (capability ?CLASS patient ?DATA)))))))	QoSontology.kif 112-129	Processus est une instance de DeletingData entit� entit� est une instance de DigitalData entit� est un patient de processus entit� classe entit� est une instance de ComputerProcess entit� est une instance de classe entit� est une instance de RestoringData entit� est capable de faire classe dans le r�le patient pendant immediatement apr�s temps d'existence de processus
(=>     (instance ?X Key)     (hasPurpose ?X         (exists (?LOCK ?CLOSE ?OPEN)             (and                 (instance ?LOCK Lock)                 (capability                     (KappaFn ?CLOSE                         (and                             (instance ?CLOSE Closing)                             (patient ?CLOSE ?LOCK)                             (holdsDuring                                 (ImmediateFutureFn ?CLOSE)                                 (attribute ?LOCK Locked)))) instrument ?X)                 (capability                     (KappaFn ?OPEN                         (and                             (instance ?OPEN Closing)                             (patient ?OPEN ?LOCK)                             (holdsDuring                                 (ImmediateFutureFn ?OPEN)                                 (not                                     (attribute ?LOCK Locked))))) instrument ?X)))))	Mid-level-ontology.kif 2670-2692	Physique est une instance de Key physique a pour but entit� entit� and entit� entit� est une instance de Lock physique est capable de faire la classe d�crite par entit� dans le r�le instrument physique est capable de faire la classe d�crite par entit� dans le r�le instrument
(=>     (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 27047-27069	Processus est une instance de OperatorAssistedTelephoneCommunication objet entit� and physique processus a pour origine objet processus aboutit � entit� physique est une instance de humain physique a pour but entit� entit� est une instance de processus intentionnel entit� est un agent de physique entit� est un sous-processus de processus l'argument entit� entit� est une instance de communication entit� a pour origine objet entit� aboutit � entit� a la force modale de Possibility pendant immediatement apr�s temps d'existence de entit�
(=>     (instance ?X RemoteKeylessSystem)     (exists (?KEY ?LOCK ?CLOSE ?OPEN)         (and             (instance ?KEY Key)             (instance ?KEY RemoteControl)             (member ?KEY ?X)             (instance ?LOCK Lock)             (member ?LOCK ?X)             (capability                 (KappaFn ?CLOSE                     (and                         (instance ?CLOSE Closing)                         (patient ?CLOSE ?LOCK)                         (holdsDuring                             (ImmediateFutureFn ?CLOSE)                             (attribute ?LOCK Locked)))) instrument ?KEY)             (capability                 (KappaFn ?OPEN                     (and                         (instance ?OPEN Closing)                         (patient ?OPEN ?LOCK)                         (holdsDuring                             (ImmediateFutureFn ?OPEN)                             (not                                 (attribute ?LOCK Locked))))) instrument ?KEY))))	Cars.kif 3775-3800	Collection est une instance de RemoteKeylessSystem objet physique, cha�ne sympbolique and cha�ne sympbolique objet est une instance de Key objet est une instance de RemoteControl objet est un membre de collection physique est une instance de Lock physique est un membre de collection objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument objet est capable de faire la classe d�crite par cha�ne sympbolique dans le r�le instrument
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