ActiveAgreement - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ActiveAgreement

ActiveAgreement

appearance as argument number 1

(documentation ActiveAgreement EnglishLanguage "ActiveAgreement describes an Agreement that is still binding or is still in effect")	Mid-level-ontology.kif 15490-15491
(instance ActiveAgreement RelationalAttribute)	Mid-level-ontology.kif 15489-15489	ActiveAgreement は関係属性の instance では %n

appearance as argument number 2

(subAttribute Contract ActiveAgreement)	Mid-level-ontology.kif 15514-15514	Contract は ActiveAgreement の subattribute では %n
(termFormat EnglishLanguage ActiveAgreement "active agreement")	Mid-level-ontology.kif 15492-15492	Contract は ActiveAgreement の subattribute では %n

antecedent

(=> (property ?AGREEMENT ActiveAgreement) (instance ?AGREEMENT Agreement))	Mid-level-ontology.kif 15494-15496	エンティティーには attribute ActiveAgreement %n{ない} エンティティーは Agreement の instance では %n
(=> (property ?AGREEMENT ActiveAgreement) (modalAttribute (exists (?PROC) (realization ?PROC ?AGREEMENT)) Obligation))	Mid-level-ontology.kif 15498-15502	エンティティーには attribute ActiveAgreement %n{ない} ステートメントエンティティーエンティティーはエンティティーの内容を expresses %n{ない} には Obligation の modal force がある

consequent

(=> (agreementExpirationDate ?AGREEMENT ?ENDDATE) (holdsDuring (FutureFn ?ENDDATE) (not (property ?AGREEMENT ActiveAgreement))))	Mid-level-ontology.kif 15436-15439	agreementExpirationDate Agreement and 時点 Agreement には attribute ActiveAgreement ないは時点の after の during holds %n{ない}
(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 15397-15402	agreementPeriod Agreement and 時間間隔 agreementEffectiveDate Agreement and 時点 Agreement には attribute ActiveAgreement %n{ない} は TimePeriodFn 時点 and 時間間隔の during holds %n{ない}
(=> (and (holdsDuring ?Time (instance ?Card ExpiredCard)) (cardAccount ?Card ?Account)) (holdsDuring ?Time (not (attribute ?Card ActiveAgreement))))	FinancialOntology.kif 3543-3548	BankCard は ExpiredCard の instance では %n は時間位置の during holds %n{ない} cardAccount BankCard and FinancialAccount ActiveAgreement は BankCard の attribute ではは時間位置の during holds %n{ない}
(=> (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order)) (holdsDuring (ImmediateFutureFn (WhenFn ?Kill)) (not (attribute ?Order ActiveAgreement))))	FinancialOntology.kif 2849-2856	工程は CancellingAnOrder の instance では %n エンティティーは工程の patient では %n ActiveAgreement はエンティティーの attribute ではは工程の time の existence のすぐ after の during holds %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