TreeView Knowledge Base Browser

appearance as argument number 1

(documentation consistent ChineseLanguage "(consistent ?PROP1 ?PROP2)的意思是两个 Proposition ?PROP1 和 ?PROP2 彼此一致，也就是说它们两个都有可能同时成真。")	chinese_format.kif 3784-3785
(documentation consistent EnglishLanguage "(consistent ?PROP1 ?PROP2) means that the two Propositions ?PROP1 and ?PROP2 are consistent with one another, i.e. it is possible for both of them to be true at the same time.")	Merge.kif 15761-15763
(domain consistent 1 Proposition)	Merge.kif 15759-15759	domain consistent, 1 and Proposition
(domain consistent 2 Proposition)	Merge.kif 15760-15760	domain consistent, 2 and Proposition
(instance consistent BinaryPredicate)	Merge.kif 15757-15757	instance consistent and BinaryPredicate
(instance consistent SymmetricRelation)	Merge.kif 15758-15758	instance consistent and SymmetricRelation

appearance as argument number 2

(format ChineseLanguage consistent "%2 %n 是 %1 的 consistent")	domainEnglishFormat.kif 536-536
(format ChineseTraditionalLanguage consistent "%2 %n 是 %1 的 consistent ")	domainEnglishFormat.kif 535-535
(format EnglishLanguage consistent "%2 is %n a consistent of %1")	domainEnglishFormat.kif 534-534
(termFormat ChineseLanguage consistent "一贯")	domainEnglishFormat.kif 16630-16630
(termFormat ChineseTraditionalLanguage consistent "一貫")	domainEnglishFormat.kif 16629-16629
(termFormat EnglishLanguage consistent "consistent")	domainEnglishFormat.kif 16628-16628

antecedent

(=>
    (and
        (property ?AGREEMENT Contract)
        (partyToAgreement ?AGENT1 ?AGREEMENT)
        (partyToAgreement ?AGENT2 ?AGREEMENT)
        (instance ?PROC IntentionalProcess)
        (agent ?PROC ?AGENT1)
        (realization ?PROC ?PROP)
        (not
            (consistent ?PROP ?AGREEMENT)))
    (modalAttribute
        (exists (?LEGAL)
            (and
                (instance ?LEGAL LegalAction)
                (plaintiff ?LEGAL ?AGENT2)
                (defendant ?LEGAL ?AGENT1))) Possibility))

Mid-level-ontology.kif 11799-11813

property Agreement and Contract partyToAgreement CognitiveAgent and Agreement partyToAgreement CognitiveAgent and Agreement instance Process and IntentionalProcess agent Process and CognitiveAgent realization Process and Proposition consistent Proposition and Agreement
modalAttribute entity instance entity and LegalAction plaintiff entity and CognitiveAgent defendant entity and CognitiveAgent and Possibility

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 11487-11494	modalAttribute Formula and Legal Formula modalAttribute Formula and Law consistent Formula and Formula
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2224-2232	instance Process and CivilAffairsOperation located Process and GeopoliticalArea instance GeopoliticalArea and Nation instance Proposition and RegionalLawFn GeopoliticalArea realization Process and Proposition consistent Proposition and Proposition
(=> (instance ?ACTION CriminalAction) (exists (?LAW ?CONTENT ?CRIME) (and (modalAttribute ?LAW Law) (containsInformation ?LAW ?CONTENT) (realization ?ACTION ?CRIME) (not (consistent ?CONTENT ?CRIME)))))	Mid-level-ontology.kif 11499-11506	instance Process and CriminalAction Formula Proposition and Proposition modalAttribute Formula and Law containsInformation Formula and Proposition realization Process and Proposition consistent Proposition and Proposition
(=> (instance ?C Correcting) (exists (?D ?S ?SP ?CP) (and (instance ?D Disagreeing) (subProcess ?C ?D) (instance ?S Stating) (subProcess ?S ?D) (containsInformation ?S ?SP) (containsInformation ?C ?CP) (refers ?CP ?SP) (not (consistent ?CP ?SP)))))	Mid-level-ontology.kif 27901-27913	instance Process and Correcting Process Process, ProcessP and ProcessP instance Process and Disagreeing subProcess Process and Process instance Process and Stating subProcess Process and Process containsInformation Process and ProcessP containsInformation Process and ProcessP refers ProcessP and ProcessP consistent ProcessP and ProcessP
(=> (instance ?DIS Disagreeing) (exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2) (and (subProcess ?STATE1 ?DIS) (subProcess ?STATE2 ?DIS) (agent ?STATE1 ?A1) (agent ?STATE2 ?A2) (not (equal ?A1 ?A2)) (containsInformation ?STATE1 ?STMT1) (containsInformation ?STATE2 ?STMT2) (not (consistent ?STMT1 ?STMT2)))))	Merge.kif 12227-12240	instance Process and Disagreeing Agent Agent, Process, Process, Proposition and Proposition subProcess Process and Process subProcess Process and Process agent Process and Agent agent Process and Agent equal Agent and Agent containsInformation Process and Proposition containsInformation Process and Proposition consistent Proposition and Proposition

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

KB Term:			Term intersection

English Word: