(=>     (and         (instance ?POLICY SmokingAllowedPolicy)         (policyLocationCoverage ?POLICY ?LOC)         (policyOwner ?AGENT ?POLICY))     (confersNorm ?AGENT         (exists (?SMOKE)             (and                 (instance ?SMOKE Smoking)                 (located ?SMOKE ?LOC))) Permission))	Hotel.kif 2610-2619	Policy è un' istanza di SmokingAllowedPolicy policyLocationCoverage Policy and Oggetto policyOwner Organizzazione and Policy confersNorm Organizzazione, Entit� Entit� è un' istanza di Smoking Entit� è localizzato in Oggetto and Permission
(=>     (and         (instance ?POLICY SmokingPolicy)         (policyLocationCoverage ?POLICY ?LOC))     (or         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE1)                     (and                         (instance ?SMOKE1 Smoking)                         (located ?SMOKE1 ?LOC))) Permission))         (containsInformation ?POLICY             (modalAttribute                 (exists (?SMOKE2)                     (and                         (instance ?SMOKE2 Smoking)                         (located ?SMOKE2 ?LOC))) Prohibition))))	Hotel.kif 2489-2505	Policy è un' istanza di SmokingPolicy policyLocationCoverage Policy and Oggetto Policy contienes informazione l'affermazione Entit� Entit� è un' istanza di Smoking Entit� è localizzato in Oggetto ha il modello di forza di Permission Policy contienes informazione l'affermazione Entit� Entit� è un' istanza di Smoking Entit� è localizzato in Oggetto ha il modello di forza di Prohibition
(=>     (and         (instance ?PUT Putting)         (destination ?PUT ?PLACE)         (patient ?PUT ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?PUT))             (not                 (located ?OBJ ?PLACE)))         (holdsDuring             (EndFn                 (WhenFn ?PUT))             (located ?OBJ ?PLACE))))	Merge.kif 11427-11434	Processo è un' istanza di Porre Processo fines in Entit� Entit� è un paziente di Processo Entit� è localizzato in Entit� vales durante l' inizio di il tempo di esistenza di Processo Entit� è localizzato in Entit� vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?R RelievingPain)         (patient ?R ?H))     (and         (exists (?P1)             (and                 (overlapsTemporally                     (WhenFn ?P1)                     (ImmediatePastFn                         (WhenFn ?R)))                 (instance ?P1 Pain)                 (located ?P1 ?H)))         (not             (exists (?P2)                 (and                     (overlapsTemporally                         (WhenFn ?P2)                         (ImmediateFutureFn                             (WhenFn ?R)))                     (instance ?P2 Pain)                     (located ?P2 ?H))))))	Mid-level-ontology.kif 5778-5797	Processo è un' istanza di RelievingPain Oggetto è un paziente di Processo Entit�Concreta immediatamente prima di il tempo di esistenza di Processo sovrappones il tempo di esistenza di Entit�Concreta Entit�Concreta è un' istanza di Pain Entit�Concreta è localizzato in Oggetto Entit�Concreta immediatamente dopo il tempo di esistenza di Processo sovrappones il tempo di esistenza di Entit�Concreta Entit�Concreta è un' istanza di Pain Entit�Concreta è localizzato in Oggetto
(=>     (and         (instance ?R Rotating)         (patient ?R ?A))     (exists (?L)         (and             (holdsDuring                 (BeginFn                     (WhenFn ?R))                 (located ?A ?L))             (holdsDuring                 (EndFn                     (WhenFn ?R))                 (located ?A ?L)))))	Mid-level-ontology.kif 17444-17455	Processo è un' istanza di Rotating Entit� è un paziente di Processo Entit� Entit� è localizzato in Entit� vales durante l' inizio di il tempo di esistenza di Processo Entit� è localizzato in Entit� vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?REMOVE Removing)         (origin ?REMOVE ?PLACE)         (patient ?REMOVE ?OBJ))     (and         (holdsDuring             (BeginFn                 (WhenFn ?REMOVE))             (located ?OBJ ?PLACE))         (holdsDuring             (EndFn                 (WhenFn ?REMOVE))             (not                 (located ?OBJ ?PLACE)))))	Merge.kif 11406-11413	Processo è un' istanza di Spostamento Processo si originas in Oggetto Entit� è un paziente di Processo Entit� è localizzato in Oggetto vales durante l' inizio di il tempo di esistenza di Processo Entit� è localizzato in Oggetto vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?RETURN Returning)         (experiencer ?RETURN ?AGENT)         (destination ?RETURN ?DEST))     (exists (?TIME)         (and             (earlier ?TIME                 (WhenFn ?RETURN))             (holdsDuring ?TIME                 (located ?AGENT ?DEST)))))	Mid-level-ontology.kif 17265-17273	Processo è un' istanza di Returning AutonomousAgent esperisces Processo Processo fines in Entit� IntervalloTemporale IntervalloTemporale accades prima di il tempo di esistenza di Processo AutonomousAgent è localizzato in Entit� vales durante IntervalloTemporale
(=>     (and         (instance ?S LegalSummons)         (patient ?S ?O)         (destination ?S ?P))     (exists (?C ?T)         (and             (instance ?C CourtRoom)             (containsInformation ?O                 (modalAttribute                     (holdsDuring ?T                         (located ?P ?C)) Law)))))	Mid-level-ontology.kif 16226-16238	Processo è un' istanza di LegalSummons ContentBearingPhysical è un paziente di Processo Processo fines in Entit� Entit� Entit� Entit� è un' istanza di CourtRoom ContentBearingPhysical contienes informazione l'affermazione Entit� è localizzato in Entit� vales durante Entit� ha il modello di forza di Law
(=>     (and         (instance ?S Searching)         (patient ?S ?OBJ)         (instance ?OBJ Physical))     (exists (?LOC ?AGENT)         (and             (instance ?AGENT CognitiveAgent)             (agent ?S ?AGENT)             (instance ?LOC Object)             (located ?OBJ ?LOC)             (hasPurposeForAgent ?S                 (knows ?AGENT                     (located ?OBJ ?LOC)) ?AGENT))))	Merge.kif 13006-13019	Processo è un' istanza di Ricercare Entit�Concreta è un paziente di Processo Entit�Concreta è un' istanza di Entit�Concreta Oggetto AutonomousAgent AutonomousAgent è un' istanza di AgenteCognitivo Processo è un agente di AutonomousAgent Oggetto è un' istanza di Oggetto Entit�Concreta è localizzato in Oggetto Processo ha &n scopo AutonomousAgent conosces Entit�Concreta è localizzato in Oggetto per AutonomousAgent
(=>     (and         (instance ?S Seizure)         (experiencer ?S ?A))     (exists (?B)         (and             (instance ?B Brain)             (part ?B ?A)             (located ?S ?B))))	Medicine.kif 1613-1621	Processo è un' istanza di Seizure AutonomousAgent esperisces Processo Oggetto Oggetto è un' istanza di Brain Oggetto è una parte di AutonomousAgent Processo è localizzato in Oggetto
(=>     (and         (instance ?S Stroke)         (instance ?B Brain)         (located ?S ?B))     (exists (?N ?D)         (and             (instance ?N NerveCell)             (located ?N ?B)             (instance ?D Destruction)             (subProcess ?D ?S)             (patient ?D ?N))))	Mid-level-ontology.kif 11933-11944	Processo è un' istanza di Stroke Oggetto è un' istanza di Brain Processo è localizzato in Oggetto Entit�Concreta Processo Entit�Concreta è un' istanza di NerveCell Entit�Concreta è localizzato in Oggetto Processo è un' istanza di Distruggere Processo è un sottoprocesso di Processo Entit�Concreta è un paziente di Processo
(=>     (and         (instance ?SWIM Swimming)         (agent ?SWIM ?AGENT))     (exists (?AREA)         (and             (instance ?AREA WaterArea)             (located ?AGENT ?AREA))))	Merge.kif 11196-11203	Processo è un' istanza di Nuotare Processo è un agente di AutonomousAgent Oggetto Oggetto è un' istanza di SuperficieAcquatica AutonomousAgent è localizzato in Oggetto
(=>     (and         (instance ?T Trespassing)         (agent ?T ?H)         (patient ?T ?P))     (and         (not             (possesses ?H ?P))         (modalAttribute             (located ?H ?P) Illegal)))	Mid-level-ontology.kif 18290-18300	Processo è un' istanza di Trespassing Processo è un agente di AutonomousAgent Oggetto è un paziente di Processo AutonomousAgent non possiede Oggetto l'affermazione AutonomousAgent è localizzato in Oggetto ha il modello di forza di Illegal
(=>     (and         (instance ?T Typhoon)         (eventLocated ?T ?P)         (instance ?P GeographicArea))     (or         (located ?P NorthwesternPacificOcean)         (meetsSpatially ?P NorthwesternPacificOcean)))	Weather.kif 783-790	Processo è un' istanza di Typhoon eventLocated Processo and Oggetto Oggetto è un' istanza di AreaGeografica Oggetto è localizzato in NorthwesternPacificOcean Oggetto incontras NorthwesternPacificOcean
(=>     (and         (instance ?TC TropicalCyclone)         (destination ?TC ?DEST)         (instance ?DEST GeographicArea))     (not         (exists (?L ?SL ?X)             (and                 (instance ?L LandArea)                 (instance ?SL Shoreline)                 (located ?DEST ?L)                 (distance ?L ?SL                     (MeasureFn ?X Mile))                 (greaterThan ?X 200.0)))))	Weather.kif 689-702	Processo è un' istanza di TropicalCyclone Processo fines in Entit�Concreta Entit�Concreta è un' istanza di AreaGeografica Oggetto Entit�Concreta and NumeroReale Oggetto è un' istanza di SuperficieTerrestre Entit�Concreta è un' istanza di Shoreline Entit�Concreta è localizzato in Oggetto la distanza tra Oggetto e Entit�Concreta è NumeroReale Mile(s NumeroReale è più grande di 200.0
(=>     (and         (instance ?TC TropicalCyclonicSystem)         (origin ?TC ?SEA)         (or             (instance ?SEA NorthAtlanticOcean)             (instance ?SEA PacificOcean)             (instance ?SEA IndianOcean)))     (not         (exists (?AREA ?DIR ?NUM ?LONG)             (and                 (located ?AREA ?SEA)                 (instance ?DIR DirectionalAttribute)                 (objectGeographicCoordinates ?AREA                     (LatitudeFn ?DIR                         (MeasureFn ?NUM AngularDegree)) ?LONG)                 (or                     (equal ?DIR North)                     (equal ?DIR South))                 (lessThan ?NUM 5.0)))))	Weather.kif 623-642	Processo è un' istanza di TropicalCyclonicSystem Processo si originas in Oggetto Oggetto è un' istanza di NorthAtlanticOcean Oggetto è un' istanza di PacificOcean Oggetto è un' istanza di IndianOcean Oggetto AttributoDirezionale, NumeroReale and Longitude Oggetto è localizzato in Oggetto AttributoDirezionale è un' istanza di AttributoDirezionale objectGeographicCoordinates Oggetto, LatitudeFn AttributoDirezionale and NumeroReale AngularDegree(s and Longitude AttributoDirezionale is uguale a North AttributoDirezionale is uguale a South NumeroReale è meno di5.0
(=>     (and         (instance ?TRANS Buying)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (agent ?TRANS ?BUYER)             (origin ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	Oggetto è un' istanza di Acquistare attribute Oggetto and CBT Entit� è un paziente di Oggetto Entit� è un' istanza di Oggetto Oggetto AutonomousAgent, AutonomousAgent_LOCATION and Oggetto_LOCATION AutonomousAgent è un' istanza di AutonomousAgent Oggetto è un' istanza di AutonomousAgent Oggetto è un agente di AutonomousAgent Oggetto si originas in Oggetto AutonomousAgent_LOCATION è un' istanza di AreaGeopolitica Oggetto_LOCATION è un' istanza di AreaGeopolitica Oggetto è localizzato in Oggetto_LOCATION AutonomousAgent è localizzato in AutonomousAgent_LOCATION AutonomousAgent_LOCATION is uguale a Oggetto_LOCATION
(=>     (and         (instance ?TRANS Selling)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (destination ?TRANS ?BUYER)             (agent ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1822-1839	Oggetto è un' istanza di Vendere attribute Oggetto and CBT Entit� è un paziente di Oggetto Entit� è un' istanza di Oggetto AutonomousAgent Entit�Concreta, Entit�Concreta_LOCATION and AutonomousAgent_LOCATION Entit�Concreta è un' istanza di AutonomousAgent AutonomousAgent è un' istanza di AutonomousAgent Oggetto fines in Entit�Concreta Oggetto è un agente di AutonomousAgent Entit�Concreta_LOCATION è un' istanza di AreaGeopolitica AutonomousAgent_LOCATION è un' istanza di AreaGeopolitica AutonomousAgent è localizzato in AutonomousAgent_LOCATION Entit�Concreta è localizzato in Entit�Concreta_LOCATION Entit�Concreta_LOCATION is uguale a AutonomousAgent_LOCATION
(=>     (and         (instance ?TRANSPORT Vehicle)         (instance ?MOVE Translocation)         (instrument ?MOVE ?TRANSPORT)         (destination ?MOVE ?TO))     (holdsDuring         (BeginFn             (WhenFn ?MOVE))         (located ?TRANSPORT ?TO)))	Merge.kif 16014-16020	Oggetto è un' istanza di Vehicle Processo è un' istanza di Translocation Oggetto è uno strumento per Processo Processo fines in Entit� Oggetto è localizzato in Entit� vales durante l' inizio di il tempo di esistenza di Processo
(=>     (and         (instance ?TRANSPORT Vehicle)         (instance ?MOVE Translocation)         (instrument ?MOVE ?TRANSPORT)         (origin ?MOVE ?FROM))     (holdsDuring         (BeginFn             (WhenFn ?MOVE))         (located ?TRANSPORT ?FROM)))	Merge.kif 16006-16012	Oggetto è un' istanza di Vehicle Processo è un' istanza di Translocation Oggetto è uno strumento per Processo Processo si originas in Oggetto Oggetto è localizzato in Oggetto vales durante l' inizio di il tempo di esistenza di Processo
(=>     (and         (instance ?U SoftwareUnInstallation)         (equal ?T2             (WhenFn ?U))         (dataProcessed ?U ?P)         (instance ?P ComputerProgram)         (located ?U ?C))     (exists (?I ?T1)         (and             (instance ?I SoftwareInstallation)             (equal ?T1                 (WhenFn ?I))             (dataProcessed ?I ?P)             (instance ?P ComputerProgram)             (located ?I ?C)             (earlier ?T1 ?T2))))	ComputingBrands.kif 3603-3617	ComputerProcess è un' istanza di SoftwareUnInstallation IntervalloTemporale is uguale a il tempo di esistenza di ComputerProcess dataProcessed ComputerProcess and DigitalData DigitalData è un' istanza di ProgrammaDiComputer ComputerProcess è localizzato in Oggetto ComputerProcess IntervalloTemporale ComputerProcess è un' istanza di SoftwareInstallation IntervalloTemporale is uguale a il tempo di esistenza di ComputerProcess dataProcessed ComputerProcess and DigitalData DigitalData è un' istanza di ProgrammaDiComputer ComputerProcess è localizzato in Oggetto IntervalloTemporale accades prima di IntervalloTemporale
(=>     (and         (instance ?UNIT CommercialUnit)         (instance ?ORG Organization)         (located ?ORG ?UNIT))     (not         (exists (?OTHER)             (and                 (instance ?OTHER Organization)                 (located ?OTHER ?UNIT)                 (not                     (equal ?OTHER ?ORG))))))	Mid-level-ontology.kif 7067-7076	Oggetto è un' istanza di CommercialUnit Entit�Concreta è un' istanza di Organizzazione Entit�Concreta è localizzato in Oggetto Entit�Concreta Entit�Concreta è un' istanza di Organizzazione Entit�Concreta è localizzato in Oggetto Entit�Concreta is uguale a Entit�Concreta
(=>     (and         (instance ?V ViolentContest)         (patient ?V ?H)         (attribute ?H             (InjuryCausedFn ?PC))         (attribute ?H             (ImpairedBodyPartFn Airway)))     (modalAttribute         (or             (subclass ?PC Combustion)             (exists (?FI)                 (and                     (instance ?I Injuring)                     (located ?I ?F)                     (instance ?F Face)                     (patient ?I ?H)))) Likely))	Medicine.kif 698-715	Processo è un' istanza di CompetizioneViolenta Oggetto è un paziente di Processo attribute Oggetto and InjuryCausedFn Processo attribute Oggetto and ImpairedBodyPartFn Airway l'affermazione Processo è una sottoclasse di Combustione Entit� Entit� è un' istanza di Trauma Entit� è localizzato in Entit� Entit� è un' istanza di Face Oggetto è un paziente di Entit� ha il modello di forza di Likely
(=>     (and         (instance ?V Vomiting)         (experiencer ?V ?A))     (exists (?S ?O)         (and             (instance ?S Stomach)             (part ?S ?A)             (holdsDuring                 (BeginFn                     (WhenFn ?V))                 (located ?O ?S))             (holdsDuring                 (EndFn                     (WhenFn ?V))                 (not                     (located ?O ?A))))))	Mid-level-ontology.kif 21412-21426	Processo è un' istanza di Vomiting AutonomousAgent esperisces Processo Oggetto Entit� Oggetto è un' istanza di Stomach Oggetto è una parte di AutonomousAgent Entit� è localizzato in Oggetto vales durante l' inizio di il tempo di esistenza di Processo Entit� è localizzato in AutonomousAgent vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?V Vomiting)         (instance ?O Vomit)         (patient ?V ?O)         (experiencer ?V ?A))     (exists (?S)         (and             (instance ?S Stomach)             (part ?S ?A)             (holdsDuring                 (BeginFn                     (WhenFn ?V))                 (located ?O ?S))             (holdsDuring                 (EndFn                     (WhenFn ?V))                 (not                     (located ?O ?A))))))	Mid-level-ontology.kif 21451-21467	Processo è un' istanza di Vomiting Entit� è un' istanza di Vomit Entit� è un paziente di Processo AutonomousAgent esperisces Processo Oggetto Oggetto è un' istanza di Stomach Oggetto è una parte di AutonomousAgent Entit� è localizzato in Oggetto vales durante l' inizio di il tempo di esistenza di Processo Entit� è localizzato in AutonomousAgent vales durante la fine di il tempo di esistenza di Processo
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