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 14279-14282
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 14285-14285	agreementClause の数値 1 引数は命題の instance では %n
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 14286-14286	agreementClause の数値 2 引数は義務的な属性の instance では %n
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 14287-14287	agreementClause の数値 3 引数は Agreement の instance では %n
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 14288-14288	agreementClause の数値 4 引数は認識エージェントの instance では %n
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 14278-14278	agreementClause は 4進述語の instance では %n

appearance as argument number 2

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

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 14290-14295	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 14318-14324	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 14309-14316	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 14297-14307	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: