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 的。") Merge.kif 512-514
(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 508-511
(domain contraryAttribute 1 Attribute) Merge.kif 507-507 The number 1 argument of contrary attribute is an instance of attribute
(instance contraryAttribute Predicate) Merge.kif 505-505 contrary attribute is an instance of predicate
(instance contraryAttribute VariableArityRelation) Merge.kif 506-506 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 174-174
(termFormat ChineseLanguage contraryAttribute "相反属性") chinese_format.kif 284-284 "相反属性" is the printable form of contrary attribute in ChineseLanguage
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 3256-3256 "contrary attribute" is the printable form of contrary attribute in english language

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 522-526
(=>
    (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 1867-1878
(=>
    (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 17237-17245
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))
Merge.kif 516-520
(=>
    (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 528-538

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


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

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


(contraryAttribute Above Below) Merge.kif 17413-17413 Above is the opposite of below
(contraryAttribute AcidicPH BasicPH) Food.kif 806-806 AcidicPH is the opposite of BasicPH
(contraryAttribute Audible Inaudible) Merge.kif 13569-13569 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 388-388 Broad gauge is the opposite of standard gauge
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 20059-20059 Civilian is the opposite of military person
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4931-4931 Clockwise is the opposite of counter-clockwise
(contraryAttribute Conductivity Resistivity) engineering.kif 668-668 Conductivity is the opposite of resistivity
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2047-2047 Container full is the opposite of container empty
(contraryAttribute Dead Living) Merge.kif 18503-18503 Dead is the opposite of living
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 27586-27586 DeviceDamaged is the opposite of DeviceNormal
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3442-3442 Device on is the opposite of device off
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3443-3443 Device open is the opposite of device closed
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 23484-23484 Dirty is the opposite of clean
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8335-8335 Drugged is the opposite of sober
(contraryAttribute Dry Damp) Merge.kif 18384-18384 Dry is the opposite of damp
(contraryAttribute Embryonic Larval) Merge.kif 18607-18607 Embryonic is the opposite of larval
(contraryAttribute False True) Merge.kif 17304-17304 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 FullTimePosition PartTimePosition) Mid-level-ontology.kif 16295-16295 Full time position is the opposite of part time position
(contraryAttribute Functioning Malfunctioning) Mid-level-ontology.kif 2269-2269 Functioning is the opposite of malfunctioning
(contraryAttribute GUE_ActiveState GUE_PassiveState) ComputerInput.kif 1551-1551 GUE_ActiveState is the opposite of GUE_PassiveState
(contraryAttribute GUE_CoveredState GUE_SelectedState) ComputerInput.kif 1737-1737 GUE_CoveredState is the opposite of GUE_SelectedState
(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) ComputerInput.kif 1684-1684 GUE_CoveredState is the opposite of GUE_UncoveredState

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