ReachingAgreement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ReachingAgreement

ReachingAgreement

appearance as argument number 1

(documentation ReachingAgreement EnglishLanguage "Instances of this Class are Statings in which two or more agents affirm the same thing (acknowledge the truth of the same Propositions).")	Media.kif 126-129
(subclass ReachingAgreement Stating)	Media.kif 125-125	ReachingAgreement は記載の subclass では %n

appearance as argument number 2

(termFormat EnglishLanguage ReachingAgreement "reaching agreement")

domainEnglishFormat.kif 65410-65410

antecedent

(=> (and (instance ?RA ReachingAgreement) (agent ?RA ?AGENT) (result ?RA ?PROP) (instance ?PROP Agreement)) (holdsDuring (FutureFn (WhenFn ?RA)) (partyToAgreement ?AGENT ?PROP)))	Media.kif 153-160	工程は ReachingAgreement の instance では %n AutonomousAgent は工程の agent では %n エンティティーは工程の result では %n エンティティーは Agreement の instance では %n partyToAgreement AutonomousAgent and エンティティーは工程の time の existence の after の during holds %n{ない}
(=> (instance ?RA ReachingAgreement) (exists (?A1 ?A2) (and (agent ?RA ?A1) (agent ?RA ?A2) (not (equal ?A1 ?A2)))))	Media.kif 138-144	工程は ReachingAgreement の instance では %n AutonomousAgent AutonomousAgent AutonomousAgent は工程の agent では %n AutonomousAgent は工程の agent では %n AutonomousAgent は AutonomousAgent と equal では
(=> (instance ?RA ReachingAgreement) (exists (?PROP) (and (instance ?PROP Agreement) (result ?RA ?PROP))))	Media.kif 146-151	工程は ReachingAgreement の instance では %n エンティティーエンティティーは Agreement の instance では %n エンティティーは工程の result では %n

consequent

(=> (and (instance ?C Confirming) (agent ?C ?A) (containsInformation ?C ?P)) (exists (?S ?RA ?A2) (and (instance ?S Stating) (earlier ?S ?C) (instance ?RA ReachingAgreement) (agent ?S ?A2) (containsInformation ?RA ?P) (containsInformation ?S ?P) (partyToAgreement ?RA ?A) (partyToAgreement ?RA ?A2))))	Mid-level-ontology.kif 31304-31318	時間間隔は Confirming の instance では %n Agreement は時間間隔の agent では %n 時間間隔は命題の情報を contains %n{ない} 時間間隔 ContentBearingPhysical and Agreement2 時間間隔は記載の instance では %n 時間間隔は時間間隔より earlier happens %n{ない} ContentBearingPhysical は ReachingAgreement の instance では %n Agreement2 は時間間隔の agent では %n ContentBearingPhysical は命題の情報を contains %n{ない} 時間間隔は命題の情報を contains %n{ない} partyToAgreement ContentBearingPhysical and Agreement partyToAgreement ContentBearingPhysical and Agreement2
(=> (and (instance ?PROC IntentionalProcess) (result ?PROC ?DOC) (recordForAgreement ?DOC ?AG) (attribute ?AG Legal)) (exists (?O ?A ?A1 ?A2) (and (instance ?O Offering) (instance ?A ReachingAgreement) (refers ?O ?AG) (refers ?A ?AG) (agent ?O ?A1) (agent ?A ?A2) (earlier (WhenFn ?O) (WhenFn ?A)))))	Law.kif 526-540	工程は意図的なプロセスの instance では %n ContentBearingPhysical は工程の result では %n recordForAgreement ContentBearingPhysical and Agreement Legal は Agreement の attribute では %n 工程工程, 工程1 and 工程2 工程は Offering の instance では %n 工程は ReachingAgreement の instance では %n 工程は Agreement への reference を includes %n{ない} 工程は Agreement への reference を includes %n{ない} 工程1 は工程の agent では %n 工程2 は工程の agent では %n 工程の time の existence は工程の time の existence より earlier happens %n{ない}
(=> (instance ?CLOSE ClosingContract) (exists (?AGREE) (and (instance ?AGREE ReachingAgreement) (subProcess ?AGREE ?CLOSE))))	Media.kif 131-136	工程は ClosingContract の instance では %n 工程工程は ReachingAgreement の instance では %n 工程は工程% の subprocess では %n

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