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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 459-462
(domain contraryAttribute 1 Attribute) Merge.kif 457-457 domain contraryAttribute, 1 and Attribute
(instance contraryAttribute Predicate) Merge.kif 455-455 instance contraryAttribute and Predicate
(instance contraryAttribute VariableArityRelation) Merge.kif 456-456 instance contraryAttribute and VariableArityRelation

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 291-291
(termFormat ChineseLanguage contraryAttribute "相反属性") chinese_format.kif 284-284 termFormat ChineseLanguage, contraryAttribute and "相反属性"
(termFormat ChineseLanguage contraryAttribute "相反的属性") domainEnglishFormat.kif 16939-16939 termFormat ChineseLanguage, contraryAttribute and "相反的属性"
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") domainEnglishFormat.kif 16938-16938 termFormat ChineseTraditionalLanguage, contraryAttribute and "相反的屬性"
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 16937-16937 termFormat EnglishLanguage, contraryAttribute and "contrary attribute"

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 470-474
(=>
    (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 2036-2047
(=>
    (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 15622-15630
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))
Merge.kif 464-468
(=>
    (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 476-486

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 470-474
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))
Mid-level-ontology.kif 15837-15839

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


(contraryAttribute Above Below) Merge.kif 15769-15769 contraryAttribute Above and Below
(contraryAttribute AcidicPH BasicPH) Food.kif 805-805 contraryAttribute AcidicPH and BasicPH
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 521-521 contraryAttribute AppraisalAsBeingDisliked and AppraisalAsBeingLiked
(contraryAttribute Audible Inaudible) Merge.kif 12483-12483 contraryAttribute Audible and Inaudible
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 324-324 contraryAttribute AuthoritarianRegime and MultipartyDemocracy
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 388-388 contraryAttribute BroadGauge, StandardGauge, NarrowGauge and DualGauge
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 20060-20060 contraryAttribute Civilian and MilitaryPerson
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4939-4939 contraryAttribute Clockwise and CounterClockwise
(contraryAttribute Conductivity Resistivity) engineering.kif 668-668 contraryAttribute Conductivity and Resistivity
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2042-2042 contraryAttribute ContainerFull and ContainerEmpty
(contraryAttribute Dead Living) Merge.kif 16658-16658 contraryAttribute Dead and Living
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 27579-27579 contraryAttribute DeviceDamaged and DeviceNormal
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3633-3633 contraryAttribute DeviceOn and DeviceOff
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3634-3634 contraryAttribute DeviceOpen and DeviceClosed
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 23485-23485 contraryAttribute Dirty and Clean
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8337-8337 contraryAttribute Drugged and Sober
(contraryAttribute Dry Damp) Merge.kif 16556-16556 contraryAttribute Dry and Damp
(contraryAttribute Embryonic Larval) Merge.kif 16751-16751 contraryAttribute Embryonic and Larval
(contraryAttribute False True) Merge.kif 15681-15681 contraryAttribute False and True
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 273-273 contraryAttribute FederalGovernment and AuthoritarianRegime
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 272-272 contraryAttribute FederalGovernment and UnitaryRule
(contraryAttribute FeelingAlert FeelingTired) emotion.kif 1811-1811 contraryAttribute FeelingAlert and FeelingTired
(contraryAttribute FeelingAtEase FeelingRestless) emotion.kif 1744-1744 contraryAttribute FeelingAtEase and FeelingRestless
(contraryAttribute FeelingCalm FeelingNervous) emotion.kif 1722-1722 contraryAttribute FeelingCalm and FeelingNervous
(contraryAttribute FeelingExhausted FeelingEnergetic) emotion.kif 1783-1783 contraryAttribute FeelingExhausted and FeelingEnergetic

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners