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 16977-16979
(domain consistent 1 Proposition)	Merge.kif 16975-16975	Die Zahl 1 Argument von consistent ist ein fall von Proposition %n{nicht}
(domain consistent 2 Proposition)	Merge.kif 16976-16976	Die Zahl 2 Argument von consistent ist ein fall von Proposition %n{nicht}
(instance consistent BinaryPredicate)	Merge.kif 16973-16973	consistent ist ein fall von BinaryPredicate %n{nicht}
(instance consistent SymmetricRelation)	Merge.kif 16974-16974	consistent ist ein fall von SymmetricRelation %n{nicht}

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 14176-14190

Wenn Agreement hat ein attribut Contract %n{nicht} und partyToAgreement CognitiveAgent and ** Agreement und partyToAgreement ** CognitiveAgent and ** Agreement und Process ist ein fall von IntentionalProcess %n{nicht} und ** Process ist der agent von ** CognitiveAgent %n{nicht} und ** Process druekt den Inhalt von Proposition aus und consistent ** Proposition and ** Agreement,
dann die Aussage es gibt entity um ** entity ist ein fall von LegalAction %n{nicht} und plaintiff ** entity and ** ** CognitiveAgent und defendant ** entity and ** CognitiveAgent hat die modale Kraft von Possibility

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13877-13884	Die Aussage Formula hat die modale Kraft von Legal genau dann wenn es gibt nicht Formula um die Aussage Formula hat die modale Kraft von Law und 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 2244-2252	Wenn Process ist ein fall von CivilAffairsOperation %n{nicht} und Process befindet sich an %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} und Proposition ist ein fall von RegionalLawFn GeopoliticalArea %n{nicht} und Process druekt den Inhalt von Proposition aus, dann 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 13889-13896	Wenn Process ist ein fall von CriminalAction %n{nicht}, dann es gibt Formula, Proposition, and und Proposition um die Aussage Formula hat die modale Kraft von Law und Formula enthaelt Informationen ueber Proposition und Process druekt den Inhalt von Proposition aus und 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 29742-29754	Wenn Process ist ein fall von Correcting %n{nicht}, dann es gibt Process, Process,, , ProcessP, and und ProcessP um Process ist ein fall von Disagreeing %n{nicht} und Process ist ein subProzess von Process und Process ist ein fall von Stating %n{nicht} und Process ist ein subProzess von Process und Process enthaelt Informationen ueber ProcessP und Process enthaelt Informationen ueber ProcessP und ProcessP umfasst einen hinweis auf ProcessP und 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 13203-13216	Wenn Process ist ein fall von Disagreeing %n{nicht}, dann es gibt AutonomousAgent, AutonomousAgent,, , Process,, , Process,, , Proposition, and und Proposition um Process ist ein subProzess von Process und Process ist ein subProzess von Process und Process ist der agent von AutonomousAgent %n{nicht} und Process ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent ist gleich AutonomousAgent nicht und Process enthaelt Informationen ueber Proposition und Process enthaelt Informationen ueber Proposition und consistent Proposition and Proposition

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

KB Term:			Term intersection

English Word: