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 457-460
(domain contraryAttribute 1 Attribute) Merge.kif 455-455 The number 1 argument of contrary attribute is an instance of attribute
(instance contraryAttribute Predicate) Merge.kif 453-453 contrary attribute is an instance of predicate
(instance contraryAttribute VariableArityRelation) Merge.kif 454-454 contrary attribute is an instance of variable arity relation

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 14373-14384
(=>
    (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 2361-2372
(=>
    (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 16293-16301
(=>
    (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 17501-17503

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


(contraryAttribute Above Below) Merge.kif 16446-16446 Above is the opposite of below
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4439-4439 Account deactivated is the opposite of account active
(contraryAttribute AcidicPH BasicPH) Food.kif 746-746 AcidicPH is the opposite of BasicPH
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 522-522 Appraisal as being disliked is the opposite of appraisal as being liked
(contraryAttribute Audible Inaudible) Merge.kif 13033-13033 Audible is the opposite of Inaudible
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 324-324 Authoritarian regime is the opposite of multiparty democracy
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 391-391 Broad gauge is the opposite of standard gauge
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 21660-21660 Civilian is the opposite of military person
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4963-4963 Clockwise is the opposite of counter-clockwise
(contraryAttribute Conductivity Resistivity) engineering.kif 672-672 Conductivity is the opposite of resistivity
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 1574-1574 Container full is the opposite of container empty
(contraryAttribute Dead Living) Merge.kif 17470-17470 Dead is the opposite of living
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 28776-28776 DeviceDamaged is the opposite of DeviceNormal
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3608-3608 Device on is the opposite of device off
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3609-3609 Device open is the opposite of device closed
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 24911-24911 Dirty is the opposite of clean
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8233-8233 Drugged is the opposite of sober
(contraryAttribute Dry Damp) Merge.kif 17368-17368 Dry is the opposite of damp
(contraryAttribute Embryonic Larval) Merge.kif 17563-17563 Embryonic is the opposite of larval
(contraryAttribute False True) Merge.kif 16358-16358 False is the opposite of true
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 273-273 Federal government is the opposite of authoritarian regime
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 272-272 Federal government is the opposite of unitary rule
(contraryAttribute FeelingAlert FeelingTired) emotion.kif 1857-1857 Feeling alert is the opposite of feeling tired
(contraryAttribute FeelingAtEase FeelingRestless) emotion.kif 1790-1790 Feeling at ease is the opposite of feeling restless
(contraryAttribute FeelingCalm FeelingNervous) emotion.kif 1768-1768 Feeling calm is the opposite of feeling nervous

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