Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  consistent

Sigma KEE - consistent
consistent

appearance as argument number 1
-------------------------


(documentation consistent ChineseLanguage "(consistent ?PROP1 ?PROP2)的意思是两个 Proposition ?PROP1 和 ?PROP2 彼此一致,也就是说它们两个都有可能同时成真。") Merge.kif 17168-17169
(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 17165-17167
(domain consistent 1 Proposition) Merge.kif 17163-17163
(domain consistent 2 Proposition) Merge.kif 17164-17164
(instance consistent BinaryPredicate) Merge.kif 17161-17161
(instance consistent SymmetricRelation) Merge.kif 17162-17162

appearance as argument number 2
-------------------------


(format EnglishLanguage consistent "%2 is %n a consistent of %1") domainEnglishFormat.kif 143-143
(termFormat EnglishLanguage consistent "consistent") domainEnglishFormat.kif 3204-3204

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 11766-11780

consequent
-------------------------


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))
Mid-level-ontology.kif 11454-11461
(=>
    (and
        (instance ?CAO CivilAffairsOperation)
        (located ?CAO ?NATION)
        (instance ?NATION Nation)
        (instance ?LAW
            (RegionalLawFn ?NATION))
        (realization ?CAO ?CONTENT))
    (consistent ?LAW ?CONTENT))
MilitaryProcesses.kif 2211-2219
(=>
    (and
        (instance ?TR TravelRequest)
        (instance ?TP TravelPolicy))
    (exists (?FORMULA1 ?FORMULA2)
        (and
            (realization ?TR ?FORMULA1)
            (realization ?TP ?FORMULA2)
            (consistent ?FORMULA1 ?FORMULA2))))
TravelPolicies.kif 510-518
(=>
    (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 11466-11473
(=>
    (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 ?CS ?SP)))))
Mid-level-ontology.kif 27782-27794
(=>
    (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 13059-13072
(=>
    (instance ?OOP OutOfPolicyAccom)
    (exists (?ORG ?POL ?PROP1 ?PROP2)
        (and
            (instance ?ORG Organization)
            (instance ?POL Policy)
            (policyOwner ?ORG ?POL)
            (containsInformation ?POL ?PROP1)
            (containsInformation ?OOP ?PROP2)
            (not
                (consistent ?PROP1 ?PROP2)))))
TravelPolicies.kif 1268-1278


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners