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 16624-16626
(domain consistent 1 Proposition)	Merge.kif 16622-16622
(domain consistent 2 Proposition)	Merge.kif 16623-16623
(instance consistent BinaryPredicate)	Merge.kif 16620-16620
(instance consistent SymmetricRelation)	Merge.kif 16621-16621

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 16689-16689
(termFormat ChineseTraditionalLanguage consistent "一貫")	domainEnglishFormat.kif 16688-16688
(termFormat EnglishLanguage consistent "consistent")	domainEnglishFormat.kif 16687-16687

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 13615-13629

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13316-13323
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2243-2251
(=> (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 13328-13335
(=> (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 29079-29091
(=> (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 12911-12924

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

KB Term:			Term intersection

English Word: