consequent

(=>     (and         (instance ?DECIDE Deciding)         (agent ?DECIDE ?A)         (patient ?DECIDE ?S)         (instance ?S Set)         (result ?DECIDE ?X)         (instance ?X ContentBearingPhysical))     (containsFormula ?X         (holdsDuring             (FutureFn                 (WhenFn ?DECIDE))             (exists (?M)                 (and                     (element ?M ?S)                     (instance ?M IntentionalProcess)                     (agent ?M ?A))))))	Merge.kif 12218-12234	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
(=>     (and         (instance ?M Misdiagnosing)         (agent ?M ?D)         (refers ?M ?P)         (instance ?P Human))     (exists (?DIS)         (and             (containsFormula ?M                 (attribute ?P ?DIS))             (instance ?DIS DiseaseOrSyndrome)             (believes ?D                 (attribute ?P ?DIS))             (truth                 (attribute ?P ?DIS) False))))	Medicine.kif 4201-4216	If a process is an instance of misdiagnosing and a cognitive agent is an agent of the process and the process includes a reference to an entity and the entity is an instance of human, then there exists the cognitive agentIS such that the process contains the formula the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an instance of disease or syndrome and the cognitive agent believes the cognitive agentIS is an attribute of the entity and the cognitive agentIS is an attribute of the entity is false
(=>     (and         (instance ?TEXT BirthCertificate)         (instance ?B Birth)         (instance ?A Human)         (experiencer ?B ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N)             (and                 (birthdate ?A ?DAY)                 (instance ?DAY Day)                 (birthplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)))))	Biography.kif 256-270	If a content bearing physical is an instance of birth certificate and a process is an instance of birth and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is a birthdate of the agent and the entity is an instance of day and the other entity is a birthplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name
(=>     (and         (instance ?TEXT DeathCertificate)         (instance ?D Death)         (instance ?A Human)         (experiencer ?D ?A))     (containsFormula ?TEXT         (exists (?DAY ?P ?N ?PROC)             (and                 (deathdate ?A ?DAY)                 (instance ?DAY Day)                 (deathplace ?A ?P)                 (instance ?P GeographicArea)                 (represents ?N ?A)                 (instance ?N Name)                 (causes ?PROC ?D)                 (instance ?PROC Process)))))	Biography.kif 287-303	If a content bearing physical is an instance of death certificate and a process is an instance of death and an agent is an instance of human and the agent experiences the process, then the content bearing physical contains the formula there exist the processAY, another entity,, , a third entity and the other entityROC such that the processAY is a deathdate of the agent and the processAY is an instance of day and the other entity is a deathplace of the agent and the other entity is an instance of geographic area and the third entity expresses the agent and the third entity is an instance of name and the other entityROC causes the process and the other entityROC is an instance of process
(=>     (and         (instance ?TEXT MarriageCertificate)         (instance ?A Human)         (instance ?B Human)         (spouse ?A ?B))     (containsFormula ?TEXT         (exists (?DAY)             (and                 (weddingdate ?A ?B ?DAY)                 (instance ?DAY Day)))))	Biography.kif 315-325	If a content bearing physical is an instance of marriage certificate and a human is an instance of human and another human is an instance of human and the human is the spouse of the other human, then the content bearing physical contains the formula there exists an entity such that the human and the other human were married on the entity and the entity is an instance of day
(=>     (holdsDuring ?T1         (prohibits ?A ?F))     (exists (?S ?B ?P)         (and             (instance ?S Stating)             (during                 (WhenFn ?S) ?T1)             (agent ?S ?A)             (containsFormula ?S                 (=>                     (causes                         (agent ?P ?B)                         (truth ?F True))                     (punishes ?A ?B))))))	Law.kif 65-78	If an agent prohibits an entity holds during a time interval, then there exist a process, another entity and a third entity such that the process is an instance of stating and the time of existence of the process takes place during the time interval and the agent is an agent of the process and the process contains the formula if the other entity is an agent of the third entity causes the entity is true, then the agent punishes the other entity
(=>     (instance ?R PositionReport)     (containsFormula ?R         (exists (?O ?A)             (and                 (instance ?O Object)                 (instance ?A Region)                 (holdsDuring                     (WhenFn ?R)                     (located ?O ?A))))))	Mid-level-ontology.kif 7719-7727	If a content bearing physical is an instance of position report, then the content bearing physical contains the formula there exist an entity and another entity such that the entity is an instance of object and the other entity is an instance of region and the entity is located at the other entity holds during the time of existence of the content bearing physical
(=>     (instance ?WA WeatherAssessment)     (containsFormula ?WA         (exists (?R ?A ?WP)             (and                 (instance ?R Reasoning)                 (instance ?A CognitiveAgent)                 (agent ?R ?A)                 (instance ?WP WeatherProcess)                 (patient ?R ?WP)                 (result ?R ?WA)                 (earlier                     (WhenFn ?WP)                     (WhenFn ?WA))))))	Weather.kif 4517-4528	If a content bearing physical is an instance of weather assessment, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is an instance of reasoning and the other entity is an instance of cognitive agent and the other entity is an agent of the entity and the third entity is an instance of weather process and the third entity is a patient of the entity and the content bearing physical is a result of the entity and the time of existence of the third entity happens earlier than the time of existence of the content bearing physical
(=>     (trusts ?A1 ?A2 ?P)     (believes ?A1         (=>             (exists (?S ?PI ?P)                 (and                     (instance ?S Stating)                     (containsFormula ?S                         (and                             (instance ?PI ?P)                             (agent ?PI ?A2)))))             (modalAttribute                 (and                     (instance ?PI ?P)                     (agent ?PI ?A2)) Likely))))	Law.kif 406-421	If a cognitive agent trusts an agent will do a kind of intentional process, then the cognitive agent believes if there exist an entity, a kind of intentional processI and the kind of intentional process such that the entity is an instance of stating and the entity contains the formula the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI, then the statement the kind of intentional processI is an instance of the kind of intentional process and the agent is an agent of the kind of intentional processI has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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