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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - consistent
consistent

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 Il numero 1 argomenti di consistent è un istanza di Proposizione
(domain consistent 2 Proposition) Merge.kif 16976-16976 Il numero 2 argomenti di consistent è un istanza di Proposizione
(instance consistent BinaryPredicate) Merge.kif 16973-16973 consistent è un' istanza di PredicatoBinario
(instance consistent SymmetricRelation) Merge.kif 16974-16974 consistent è un' istanza di RelazioneSimmetrica

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

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


(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (not
                    (consistent ?F1 ?F2))))))		 Mid-level-ontology.kif 13877-13884 L'affermazione Formula ha il modello di forza di Legal Formula l'affermazione Formula ha il modello di forza di 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 2244-2252
(=>
    (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
(=>
    (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
(=>
    (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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners