TreeView Knowledge Base Browser

appearance as argument number 1

(documentation agreementClause EnglishLanguage "(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) means that Proposition ?PROP, which has modalAttribute ?ATTR, is part of Agreement ?AGREEMENT and, with CognitiveAgent ?AGENT being the one responsible to make the statement true")	Mid-level-ontology.kif 14088-14091
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 14094-14094	agreementClause の数値 1 引数は命題の instance では %n
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 14095-14095	agreementClause の数値 2 引数は義務的な属性の instance では %n
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 14096-14096	agreementClause の数値 3 引数は Agreement の instance では %n
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 14097-14097	agreementClause の数値 4 引数は認識エージェントの instance では %n
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 14087-14087	agreementClause は 4進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage agreementClause "%4 有义务去做在 %3 的 %1 %2")	domainEnglishFormat.kif 2726-2726
(format ChineseTraditionalLanguage agreementClause "%4 有義務去做在 %3 的 %1 %2 ")	domainEnglishFormat.kif 2725-2725
(format EnglishLanguage agreementClause "%4 has the responsibility to make %1 %2 in %3")	domainEnglishFormat.kif 2724-2724
(termFormat EnglishLanguage agreementClause "agreement clause")	Mid-level-ontology.kif 14092-14092

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 14099-14104	agreementClause 命題, 義務的な属性, Agreement and 認識エージェント ContentBearingPhysical ContentBearingPhysical は命題の情報を contains %n{ない} partyToAgreement 認識エージェント and Agreement
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 14127-14133	agreementClause 命題, Permission, Agreement and 認識エージェント認識エージェントはエンティティーエンティティーは命題の内容を expresses %n{ない} 認識エージェントはエンティティーの agent では %n を実行する right を　持って %n{ない}
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14118-14125	agreementClause 命題, Prohibition, Agreement and 認識エージェント認識エージェントはエンティティーエンティティーは命題の内容を expresses %n{ない} 認識エージェントはエンティティーの agent では %n を実行する right を　ない
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 14106-14116	agreementClause 命題, 義務的な属性, Agreement and 認識エージェント義務的な属性は Obligation と equal では %n 義務的な属性は Promise と equal では %n ステートメントエンティティーエンティティーは命題の内容を expresses %n{ない} 認識エージェントはエンティティーの agent では %n には Likely の modal force がある

consequent

(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE))
    (agreementClause
        (exists (?B ?ITEM)
            (and
                (instance ?B Buying)
                (patient ?B ?ITEM)
                (immediateInstance ?ITEM ?ENT)
                (agent ?B ?BUYER)
                (origin ?B ?SELLER)
                (transactionAmount ?B ?PRICE))) Obligation ?AGREE ?SELLER))

Catalog.kif 311-324

negotiatedPrice 物理, 通貨測定 and Agreement partyToAgreement 認識エージェント and Agreement partyToAgreement 認識エージェント and Agreement
agreementClause エンティティーエンティティーエンティティーは購買の instance では %n エンティティーはエンティティーの patient では %n エンティティーは物理の immediate のインスタンスでは %n 認識エージェントはエンティティーの agent では %n エンティティーは認識エージェントから originates %n{ない} transactionAmount エンティティー and 通貨測定, Obligation, Agreement and 認識エージェント

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

KB Term:			Term intersection

English Word: