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 16928-16930
(domain consistent 1 Proposition)	Merge.kif 16926-16926	域一貫, 1 and Proposition
(domain consistent 2 Proposition)	Merge.kif 16927-16927	域一貫, 2 and Proposition
(instance consistent BinaryPredicate)	Merge.kif 16924-16924	例一貫 and BinaryPredicate
(instance consistent SymmetricRelation)	Merge.kif 16925-16925	例一貫 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 16698-16698
(termFormat ChineseTraditionalLanguage consistent "一貫")	domainEnglishFormat.kif 16697-16697
(termFormat EnglishLanguage consistent "consistent")	domainEnglishFormat.kif 16696-16696

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 14148-14162

屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess agent Process and CognitiveAgent 實現 Process and Proposition 協議是 Proposition 的 consistent
模態屬性 entity 例 entity and LegalAction CognitiveAgent 是 plaintiff 在 entity CognitiveAgent 是在 entity 的 defendant and 可能性

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13849-13856	模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 consistent
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2244-2252	例 Process and 民政運作位於 Process and GeopoliticalArea 例 GeopoliticalArea and Nation 例 Proposition and GeopoliticalArea 的 regional 法律實現 Process and Proposition Proposition 是 Proposition 的 consistent
(=> (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 13861-13868	例 Process and 犯罪行為 Formula Proposition and Proposition 模態屬性 Formula and 法包含信息 Formula and Proposition 實現 Process and Proposition Proposition 是 Proposition 的 consistent
(=> (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 29679-29691	例 Process and Correcting Process Process, ProcessP and ProcessP 例 Process and 不同意子過程 Process and Process 例 Process and Stating 子過程 Process and Process 包含信息 Process and ProcessP 包含信息 Process and ProcessP 參照 ProcessP and ProcessP ProcessP 是 ProcessP 的 consistent
(=> (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 13179-13192	例 Process and 不同意 AutonomousAgent AutonomousAgent, Process, Process, Proposition and Proposition 子過程 Process and Process 子過程 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent 等於 AutonomousAgent and AutonomousAgent 包含信息 Process and Proposition 包含信息 Process and Proposition Proposition 是 Proposition 的 consistent

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

KB Term:			Term intersection

English Word: