(=>     (dateEstablished ?THING ?DATE)     (exists (?DAY)         (and             (instance ?DAY ?DATE)             (overlapsTemporally ?DAY                 (BeginFn                     (WhenFn ?THING))))))	Mid-level-ontology.kif 985-990	dateEstablished Fisico and Posicao Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Posicao Temporal o comeco de tempo de existencia de Fisico engloba Intervalo Temporal
(=>     (dateUsed ?OBJECT ?DATE ?AGENT)     (exists (?PROCESS)         (and             (instance ?PROCESS Process)             (patient ?PROCESS ?OBJECT)             (agent ?PROCESS ?AGENT)             (uses ?OBJECT ?AGENT)             (overlapsTemporally ?DATE                 (WhenFn ?PROCESS)))))	Mid-level-ontology.kif 998-1006	dateUsed Objeto, Intervalo Temporal and AutonomousAgent Processo Processo e' uma instancia de Processo Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent AutonomousAgent usa Objeto tempo de existencia de Processo engloba Intervalo Temporal
(=>     (exportPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME ?EXPORT)         (and             (instance ?TIME ?PERIOD)             (instance ?EXPORT Exporting)             (overlapsTemporally ?TIME                 (WhenFn ?EXPORT))             (origin ?EXPORT ?AGENT1)             (destination ?EXPORT ?AGENT2))))	Economy.kif 2359-2367	exportPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Intervalo Temporal Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Exporting tempo de existencia de Processo engloba Intervalo Temporal Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent
(=>     (holdsDuring ?T         (attribute ?H Fasting))     (not         (exists (?P)             (and                 (instance ?P Eating)                 (agent ?P ?H)                 (overlapsTemporally ?T                     (WhenFn ?P))))))	Mid-level-ontology.kif 30637-30644	Fasting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent tempo de existencia de Processo engloba Intervalo Temporal
(=>     (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 e' um atributo de Objeto vale durante ObjetoIME AutonomousAgent Processo and Transferencia AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Bleeding Transferencia e' uma instancia de Colar AutonomousAgent experimenta Processo Transferencia termina em AutonomousAgent objectTransferred Transferencia and Objeto Objeto tem por fim Processo2 Processo2 e' uma instancia de Bleeding imediatemente apos tempo de existencia de Transferencia engloba tempo de existencia de Processo2 AutonomousAgent experimenta Processo2
(=>     (importPartnerInPeriod ?AGENT1 ?AGENT2 ?PERIOD)     (exists (?TIME ?EXPORT)         (and             (instance ?TIME ?PERIOD)             (instance ?EXPORT Exporting)             (overlapsTemporally ?TIME                 (WhenFn ?EXPORT))             (origin ?EXPORT ?AGENT2)             (destination ?EXPORT ?AGENT1))))	Economy.kif 2647-2655	importPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Intervalo Temporal Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Exporting tempo de existencia de Processo engloba Intervalo Temporal Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent
(=>     (instance ?SHOWER RainShowering)     (holdsDuring         (WhenFn ?SHOWER)         (exists (?RAIN1 ?RAIN2 ?AREA)             (and                 (instance ?RAIN1 Raining)                 (instance ?RAIN2 Raining)                 (instance ?AREA Region)                 (subProcess ?RAIN1 ?SHOWER)                 (subProcess ?RAIN2 ?SHOWER)                 (eventLocated ?RAIN1 ?AREA)                 (eventLocated ?RAIN2 ?AREA)                 (not                     (overlapsTemporally                         (WhenFn ?RAIN1)                         (WhenFn ?RAIN2)))))))	Weather.kif 2861-2875	Fisico e' uma instancia de RainShowering Entidade Entidade and Entidade Entidade e' uma instancia de Raining Entidade e' uma instancia de Raining Entidade e' uma instancia de Regiao Entidade e' um sub-processo de Fisico Entidade e' um sub-processo de Fisico eventLocated Entidade and Entidade eventLocated Entidade and Entidade tempo de existencia de Entidade nao engloba %n tempo de existencia de Entidade vale durante tempo de existencia de Fisico

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