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 458-461
(domain contraryAttribute 1 Attribute) Merge.kif 456-456
(instance contraryAttribute Predicate) Merge.kif 454-454
(instance contraryAttribute VariableArityRelation) Merge.kif 455-455

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 "相反的属性") domainEnglishFormat.kif 17008-17008
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") domainEnglishFormat.kif 17007-17007
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 17006-17006

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 469-473
(=>
    (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 2347-2358
(=>
    (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 15791-15799
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))
Merge.kif 463-467
(=>
    (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 475-485

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 469-473
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))
Mid-level-ontology.kif 15865-15867

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


(contraryAttribute Above Below) Merge.kif 15938-15938
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4416-4416
(contraryAttribute AcidicPH BasicPH) Food.kif 764-764
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 522-522
(contraryAttribute Audible Inaudible) Merge.kif 12636-12636
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 324-324
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 388-388
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 20103-20103
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4983-4983
(contraryAttribute Conductivity Resistivity) engineering.kif 672-672
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2048-2048
(contraryAttribute Dead Living) Merge.kif 16830-16830
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 27624-27624
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3635-3635
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3636-3636
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 23528-23528
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8319-8319
(contraryAttribute Dry Damp) Merge.kif 16728-16728
(contraryAttribute Embryonic Larval) Merge.kif 16923-16923
(contraryAttribute False True) Merge.kif 15850-15850
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 273-273
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 272-272
(contraryAttribute FeelingAlert FeelingTired) emotion.kif 1818-1818
(contraryAttribute FeelingAtEase FeelingRestless) emotion.kif 1751-1751
(contraryAttribute FeelingCalm FeelingNervous) emotion.kif 1729-1729

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