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

Formal Language: 



KB Term:  Term intersection
English Word: 

  contraryAttribute

Sigma KEE - contraryAttribute
contraryAttribute

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


(documentation contraryAttribute ChineseLanguage "contraryAttribute 是一组 Attribute ,而某一件事物不能同时拥有超过一种这个组里的 Attributes。 举例说: (contraryAttribute Pliable Rigid) 指的是没有一件东西是既 PliableRigid 的。") chinese_format.kif 1504-1506
(documentation contraryAttribute EnglishLanguage "A contraryAttribute is a set of Attributes such that something can not simultaneously have more than one of these Attributes. For example, (contraryAttribute Pliable Rigid) means that nothing can be both Pliable and Rigid.") Merge.kif 457-460
(domain contraryAttribute 1 Attribute) Merge.kif 455-455
(instance contraryAttribute Predicate) Merge.kif 453-453
(instance contraryAttribute VariableArityRelation) Merge.kif 454-454

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


(format ChineseLanguage contraryAttribute "%1 %n 是 %2 的相反") chinese_format.kif 283-283
(format EnglishLanguage contraryAttribute "%1 is %n the opposite of %2") english_format.kif 288-288
(termFormat ChineseLanguage contraryAttribute "相反属性") chinese_format.kif 284-284
(termFormat ChineseLanguage contraryAttribute "相反的属性") domainEnglishFormat.kif 17001-17001
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") domainEnglishFormat.kif 17000-17000
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 16999-16999

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 468-472
(=>
    (and
        (instance ?A Animal)
        (instance ?P
            (BodySideFn ?S ?BPC))
        (contraryAttribute ?S ?SO)
        (attribute ?A Healthy))
    (exists (?PO)
        (and
            (instance ?PO
                (BodySideFn ?SO ?BPC))
            (orientation ?P ?PO ?S))))
Merge.kif 14715-14726
(=>
    (and
        (instance ?ACT BringingGEToFront)
        (patient ?ACT ?WINDOW)
        (instance ?WINDOW InterfaceWindow)
        (holdsDuring
            (BeginFn ?ACT)
            (hasGUEState ?WINDOW ?STATE))
        (contraryAttribute ?STATE GUE_UncoveredState))
    (holdsDuring
        (EndFn ?ACT)
        (not
            (hasGUEState ?WINDOW ?STATE))))
ComputerInput.kif 2329-2340
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?ATTR1)
        (contraryAttribute @ROW)
        (inList ?ATTR1
            (ListFn @ROW))
        (inList ?ATTR2
            (ListFn @ROW))
        (not
            (equal ?ATTR1 ?ATTR2)))
    (not
        (orientation ?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16652-16660
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))
Merge.kif 462-466
(=>
    (contraryAttribute @ROW)
    (forall (?ATTR1 ?ATTR2)
        (=>
            (and
                (equal ?ATTR1
                    (ListOrderFn
                        (ListFn @ROW) ?NUMBER1))
                (equal ?ATTR2
                    (ListOrderFn
                        (ListFn @ROW) ?NUMBER2))
                (not
                    (equal ?NUMBER1 ?NUMBER2)))
            (=>
                (property ?OBJ ?ATTR1)
                (not
                    (property ?OBJ ?ATTR2))))))
Merge.kif 474-484

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 468-472
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))
Mid-level-ontology.kif 17552-17554

appearance as argument number 0
-------------------------


(contraryAttribute Above Below) Merge.kif 16805-16805
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4438-4438
(contraryAttribute AcidicPH BasicPH) Food.kif 746-746
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 522-522
(contraryAttribute Audible Inaudible) Merge.kif 13367-13367
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 336-336
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 391-391
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 21712-21712
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4963-4963
(contraryAttribute Conductivity Resistivity) engineering.kif 672-672
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 1597-1597
(contraryAttribute Dead Living) Merge.kif 17837-17837
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 28828-28828
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3607-3607
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3608-3608
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 24963-24963
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8263-8263
(contraryAttribute Dry Damp) Merge.kif 17735-17735
(contraryAttribute Embryonic Larval) Merge.kif 17930-17930
(contraryAttribute False True) Merge.kif 16717-16717
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 285-285
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 284-284
(contraryAttribute FeelingAlert FeelingTired) emotion.kif 1849-1849
(contraryAttribute FeelingAtEase FeelingRestless) emotion.kif 1782-1782
(contraryAttribute FeelingCalm FeelingNervous) emotion.kif 1760-1760

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners