consistent - Sigma 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 16790-16792
(domain consistent 1 Proposition)	Merge.kif 16788-16788	Le nombre 1 argument de consistent est une instance de proposition
(domain consistent 2 Proposition)	Merge.kif 16789-16789	Le nombre 2 argument de consistent est une instance de proposition
(instance consistent BinaryPredicate)	Merge.kif 16786-16786	consistent est une instance de pr�dicat binaire
(instance consistent SymmetricRelation)	Merge.kif 16787-16787	consistent est une instance de relation sym�trique

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 16695-16695
(termFormat ChineseTraditionalLanguage consistent "一貫")	domainEnglishFormat.kif 16694-16694
(termFormat EnglishLanguage consistent "consistent")	domainEnglishFormat.kif 16693-16693

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 14019-14033

Agreement a un attribute Contract partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement processus est une instance de processus intentionnel processus est un agent de agent cognitif processus exprime le contenu de proposition consistent proposition and Agreement
l'argument entit� entit� est une instance de action l�gale plaintiff entit� and agent cognitif defendant entit� and agent cognitif a la force modale de Possibility

consequent

(<=> (modalAttribute ?F1 Legal) (not (exists (?F2) (and (modalAttribute ?F2 Law) (not (consistent ?F1 ?F2))))))	Mid-level-ontology.kif 13720-13727	L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule
(=> (and (instance ?CAO CivilAffairsOperation) (located ?CAO ?NATION) (instance ?NATION Nation) (instance ?LAW (RegionalLawFn ?NATION)) (realization ?CAO ?CONTENT)) (consistent ?LAW ?CONTENT))	MilitaryProcesses.kif 2244-2252	Processus est une instance de CivilAffairsOperation processus est situ� � secteur g�opolitique secteur g�opolitique est une instance de nation proposition est une instance de RegionalLawFn secteur g�opolitique processus exprime le contenu de proposition 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 13732-13739	Processus est une instance de CriminalAction formule proposition and proposition l'argument formule a la force modale de Law formule contient information proposition processus exprime le contenu de proposition 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 29796-29808	Processus est une instance de Correcting processus processus, processusP and processusP processus est une instance de Disagreeing processus est un sous-processus de processus processus est une instance de d�clarer processus est un sous-processus de processus processus contient information processusP processus contient information processusP processusP inclut une r�f�rence � processusP consistent processusP and processusP
(=> (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 13048-13061	Processus est une instance de Disagreeing AutonomousAgent AutonomousAgent, processus, processus, proposition and proposition processus est un sous-processus de processus processus est un sous-processus de processus processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent est AutonomousAgent processus contient information proposition processus contient information proposition consistent proposition and proposition

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

KB Term:			Term intersection

English Word: