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 15432-15435
(domain agreementClause 1 Proposition)	Mid-level-ontology.kif 15438-15438	Le nombre 1 argument de agreementClause est une instance de proposition
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 15439-15439	Le nombre 2 argument de agreementClause est une instance de deontic attribute
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 15440-15440	Le nombre 3 argument de agreementClause est une instance de Agreement
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 15441-15441	Le nombre 4 argument de agreementClause est une instance de agent cognitif
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 15431-15431	agreementClause est une instance de pr�dicat quaternaire

appearance as argument number 2

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

antecedent

(=> (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (and (exists (?CLAUSE) (containsInformation ?CLAUSE ?PROP)) (partyToAgreement ?AGENT ?AGREEMENT)))	Mid-level-ontology.kif 15443-15448	agreementClause proposition , deontic attribute, Agreement and agent cognitif ContentBearingPhysical ContentBearingPhysical contient information proposition partyToAgreement agent cognitif and Agreement
(=> (agreementClause ?PROP Permission ?AGREEMENT ?AGENT) (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT))	Mid-level-ontology.kif 15471-15477	agreementClause proposition , Permission, Agreement and agent cognitif agent cognitif a le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 15462-15469	agreementClause proposition , Prohibition, Agreement and agent cognitif agent cognitif n' le droit d'executer entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif
(=> (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 15450-15460	agreementClause proposition , deontic attribute, Agreement and agent cognitif deontic attribute est Obligation deontic attribute est Promise l'argument entit� entit� exprime le contenu de proposition entit� est un agent de agent cognitif a la force modale de Likely

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 physique, mesure de devise and Agreement partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
agreementClause entit� entit� entit� est une instance de acheter entit� est un patient de entit� entit� est une instance imm�diate de physique entit� est un agent de agent cognitif entit� a pour origine agent cognitif transactionAmount entit� and mesure de devise, Obligation, Agreement and agent cognitif

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

KB Term:			Term intersection

English Word: