consequent

(=>     (agreementAdoptionDate ?AGR ?DATE)     (exists (?PROCESS ?DAY)         (and             (instance ?PROCESS Committing)             (instance ?DAY ?DATE)             (patient ?PROCESS ?AGR)             (time ?PROCESS ?DAY))))	Government.kif 669-676	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
(=>     (instance ?COMPACT Agreement)     (exists (?COMM)         (and             (instance ?COMM Committing)             (represents ?COMM ?COMPACT))))	Mid-level-ontology.kif 15326-15331	If an entity is an instance of agreement, then there exists another entity such that the other entity is an instance of committing and the other entity expresses the entity
(=>     (instance ?NEGOTIATE Negotiating)     (hasPurpose ?NEGOTIATE         (exists (?COMMIT)             (and                 (instance ?COMMIT Committing)                 (subProcess ?COMMIT ?NEGOTIATE)                 (finishes                     (WhenFn ?COMMIT)                     (WhenFn ?NEGOTIATE))))))	Mid-level-ontology.kif 21273-21282	If a physical is an instance of negotiating, then the physical has the purpose there exists an entity such that the entity is an instance of committing and the entity is a subprocess of the physical and the time of existence of the entity finishes the time of existence of the physical
(=>     (instance ?TREATY TreatyDocument)     (exists (?COMM ?COUNTRY1 ?COUNTRY2)         (and             (instance ?COMM Committing)             (patient ?COMM ?TREATY)             (instance ?COUNTRY1 GeopoliticalArea)             (agent ?COMM ?COUNTRY1)             (instance ?COUNTRY2 GeopoliticalArea)             (agent ?COMM ?COUNTRY2)             (not                 (equal ?COUNTRY1 ?COUNTRY2)))))	Geography.kif 4431-4441	If an entity is an instance of treaty document, then there exist a process, an agent and another agent such that the process is an instance of committing and the entity is a patient of the process and the agent is an instance of geopolitical area and the agent is an agent of the process and the other agent is an instance of geopolitical area and the other agent is an agent of the process and equal the agent and the other agent
(=>     (partyToAgreement ?AGENT ?CONTENT)     (exists (?C)         (and             (instance ?C Committing)             (agent ?C ?AGENT)             (patient ?C ?CONTENT))))	Mid-level-ontology.kif 15362-15368	If an agreement is a party to agreement of a cognitive agent, then there exists a process such that the process is an instance of committing and the cognitive agent is an agent of the process and the agreement is a patient of the process

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