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	Il numero 1 argomenti di agreementClause è un istanza di Proposizione
(domain agreementClause 2 DeonticAttribute)	Mid-level-ontology.kif 14095-14095	Il numero 2 argomenti di agreementClause è un istanza di AttributoDeontico
(domain agreementClause 3 Agreement)	Mid-level-ontology.kif 14096-14096	Il numero 3 argomenti di agreementClause è un istanza di Agreement
(domain agreementClause 4 CognitiveAgent)	Mid-level-ontology.kif 14097-14097	Il numero 4 argomenti di agreementClause è un istanza di AgenteCognitivo
(instance agreementClause QuaternaryPredicate)	Mid-level-ontology.kif 14087-14087	agreementClause è un' istanza di PredicatoQuaternario

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 Proposizione, AttributoDeontico, Agreement and AgenteCognitivo ContentBearingPhysical ContentBearingPhysical contienes informazione Proposizione partyToAgreement AgenteCognitivo 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 Proposizione, Permission, Agreement and AgenteCognitivo AgenteCognitivo ha il diritto di compiere Entit� Entit� esprime il contenuto di Proposizione Entit� è un agente di AgenteCognitivo
(=> (agreementClause ?PROP Prohibition ?AGREEMENT ?AGENT) (not (holdsRight (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) ?AGENT)))	Mid-level-ontology.kif 14118-14125	agreementClause Proposizione, Prohibition, Agreement and AgenteCognitivo AgenteCognitivo non ha il diritto di compiere Entit� Entit� esprime il contenuto di Proposizione Entit� è un agente di AgenteCognitivo
(=> (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 Proposizione, AttributoDeontico, Agreement and AgenteCognitivo AttributoDeontico is uguale a Obligation AttributoDeontico is uguale a Promise l'affermazione Entit� Entit� esprime il contenuto di Proposizione Entit� è un agente di AgenteCognitivo ha il modello di forza di 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 Entit�Concreta, MisuraMonetaria and Agreement partyToAgreement AgenteCognitivo and Agreement partyToAgreement AgenteCognitivo and Agreement
agreementClause Entit� Entit� Entit� è un' istanza di Acquistare Entit� è un paziente di Entit� %è una istanza immediata %2 Entit� è un agente di AgenteCognitivo Entit� si originas in AgenteCognitivo transactionAmount Entit� and MisuraMonetaria, Obligation, Agreement and AgenteCognitivo

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

KB Term:			Term intersection

English Word: