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


s__documentation(s__consistent__m,s__ChineseLanguage,'"(consistent ?PROP1 ?PROP2)的意思是两个 Proposition ?PROP1 和 ?PROP2 彼此一致,也就是说它们两个都有可能同时成真。"')

chinese_format.kif 3784-3785
s__documentation(s__consistent__m,s__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 16226-16228
s__domain(s__consistent__m,n__1,s__Proposition)

Merge.kif 16224-16224 The number 1 argument of consistent is an instance of proposition
s__domain(s__consistent__m,n__2,s__Proposition)

Merge.kif 16225-16225 The number 2 argument of consistent is an instance of proposition
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__consistent__m,s__BinaryPredicate)

Merge.kif 16222-16222 consistent is an instance of binary predicate
s__instance(s__consistent__m,s__SymmetricRelation)

s__instance(s__SymmetricRelation,s__SetOrClass)

Merge.kif 16223-16223 consistent is an instance of symmetric relation

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


s__format(s__ChineseLanguage,s__consistent__m,'"%2 %n 是 %1 的 consistent"')

domainEnglishFormat.kif 536-536
s__format(s__ChineseTraditionalLanguage,s__consistent__m,'"%2 %n 是 %1 的 consistent "')

domainEnglishFormat.kif 535-535
s__format(s__EnglishLanguage,s__consistent__m,'"%2 is %n a consistent of %1"')

domainEnglishFormat.kif 534-534
s__termFormat(s__ChineseLanguage,s__consistent__m,'"一贯"')

domainEnglishFormat.kif 16689-16689
s__termFormat(s__ChineseTraditionalLanguage,s__consistent__m,'"一貫"')

domainEnglishFormat.kif 16688-16688
s__termFormat(s__EnglishLanguage,s__consistent__m,'"consistent"')

domainEnglishFormat.kif 16687-16687

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13340-13354

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13041-13048 The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula
( ! [V__CONTENT,V__NATION,V__LAW,V__CAO] :
   (((s__instance(V__CONTENT,s__Proposition) &
         s__instance(V__LAW,s__Proposition))
       =>
       (((s__instance(V__CAO,s__CivilAffairsOperation) &
             s__located(V__CAO,V__NATION)
           &
           s__instance(V__NATION,s__Nation) &
           s__instance(V__LAW,s__RegionalLawFn(V__NATION))
       &
       s__realization(V__CAO,V__CONTENT))
   =>
   (s__consistent(V__LAW,V__CONTENT)))))
)
)

MilitaryProcesses.kif 2224-2232
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13053-13060
( ! [V__C] :
   ((s__instance(V__C,s__Correcting) =>
       (( ? [V__D, V__S, V__SP, V__CP] :
           ((s__instance(V__SP,s__Proposition) &
               s__instance(V__CP,s__Proposition) &
               (s__instance(V__D,s__Disagreeing) &
                 s__subProcess(V__C,V__D)
               &
               s__instance(V__S,s__Stating) &
               s__subProcess(V__S,V__D)
             &
             s__containsInformation(V__S,V__SP)
           &
           s__containsInformation(V__C,V__CP)
         &
         s__refers(V__CP,V__SP)
       &
       ~(s__consistent(V__CP,V__SP))))))))
)
)

Mid-level-ontology.kif 28749-28761
( ! [V__DIS] :
   ((s__instance(V__DIS,s__Disagreeing) =>
       (( ? [V__A1, V__A2, V__STATE1, V__STATE2, V__STMT1, V__STMT2] :
           ((s__instance(V__A1,s__Agent) &
               s__instance(V__A2,s__Agent) &
               s__instance(V__STATE1,s__Process) &
               s__instance(V__STATE1,s__ContentBearingPhysical) &
               s__instance(V__STATE2,s__Process) &
               s__instance(V__STATE2,s__ContentBearingPhysical) &
               s__instance(V__STMT1,s__Proposition) &
               s__instance(V__STMT2,s__Proposition) &
               (s__subProcess(V__STATE1,V__DIS)
               &
               s__subProcess(V__STATE2,V__DIS)
             &
             s__agent(V__STATE1,V__A1)
           &
           s__agent(V__STATE2,V__A2)
         &
         ~((V__A1 = V__A2))
         &
         s__containsInformation(V__STATE1,V__STMT1)
       &
       s__containsInformation(V__STATE2,V__STMT2)
     &
     ~(s__consistent(V__STMT1,V__STMT2))))))))
)
)

Merge.kif 12534-12547


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