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) 指的是没有一件东西是既 Pliable 又 Rigid 的。") 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
(documentation contraryAttribute JapaneseLanguage "contraryAttribute は　Attributes の セットで、これらの複数の Attributes を同時に持つことができない。　例えば、(contraryAttribute Pliable Rigid) とは、Pliable と Rigid の両方が同時に存在できない、という意味である。") japanese_format.kif 68-70
(documentation contraryAttribute SpanishLanguage "Un contraryAttribute es un conjunto de Attributes de tal manera que algo no puede tener más de uno de estos Attributes simultáneamente. Por ejemplo, (contraryAttribute Pliable Rigid) significa que nada puede ser ambos Pliable y Rigid.") spanish_format.kif 78-81
(domain contraryAttribute 1 Attribute) Merge.kif 457-457 Die Zahl 1 Argument von kontraeresAttribut ist ein fall von Attribute %n{nicht}
(instance contraryAttribute Predicate) Merge.kif 455-455 kontraeresAttribut ist ein fall von Predicate %n{nicht}
(instance contraryAttribute VariableArityRelation) Merge.kif 456-456 kontraeresAttribut ist ein fall von VariableArityRelation %n{nicht}

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
(format FrenchLanguage contraryAttribute "%1 est %n l'oppos� de %2") french_format.kif 164-164
(format ItalianLanguage contraryAttribute "%1 è %n opposto a %2") relations-it.txt 58-58
(format JapaneseLanguage contraryAttribute "%1 は %2 の disjoint では %n") japanese_format.kif 1984-1984
(format PortugueseLanguage contraryAttribute "%1 e' %n &o oposto de %2") portuguese_format.kif 116-116
(format de contraryAttribute "%1 wird %2 entgegengesetzet %n{nicht}") relations-de.txt 367-367
(format hi contraryAttribute "%1 %2 ke vipariita %n hai") relations-hindi.txt 99-99
(format ro contraryAttribute "%1 %n{nu} este opposed%t{opus} lui %2") relations-ro.kif 184-184
(format sv contraryAttribute "%1 är %n{inte} emot %2") relations-sv.txt 171-171
(format tg contraryAttribute "%1 %n ay sinaalungat sa %2") relations-cb.txt 92-92
(termFormat ChineseLanguage contraryAttribute "相反属性") chinese_format.kif 284-284
(termFormat ChineseLanguage contraryAttribute "相反的属性") domainEnglishFormat.kif 17010-17010
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") domainEnglishFormat.kif 17009-17009
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 17008-17008
(termFormat de contraryAttribute "kontraeresAttribut") terms-de.txt 114-114
(termFormat tg contraryAttribute "sinaalungat katangian") relations-tg.txt 133-133

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


(=>
    (and
        (contraryAttribute @ROW)
        (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-484
(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))		 Merge.kif 470-474
(=>
    (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 14979-14990
(=>
    (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 2332-2343
(=>
    (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 16921-16929
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))		 Merge.kif 464-468

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 18143-18145

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


(contraryAttribute Above Below) Merge.kif 17073-17073 Above wird Below entgegengesetzet %n{nicht}
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4475-4475 AccountDeactivated wird AccountActive entgegengesetzet %n{nicht}
(contraryAttribute AcidicPH BasicPH) Food.kif 2803-2803 AcidicPH wird BasicPH entgegengesetzet %n{nicht}
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 522-522 AppraisalAsBeingDisliked wird AppraisalAsBeingLiked entgegengesetzet %n{nicht}
(contraryAttribute Audible Inaudible) Merge.kif 13607-13607 Audible wird Inaudible entgegengesetzet %n{nicht}
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 336-336 AuthoritarianRegime wird MultipartyDemocracy entgegengesetzet %n{nicht}
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 391-391 BroadGauge wird StandardGauge entgegengesetzet %n{nicht}
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 22232-22232 Civilian wird MilitaryPerson entgegengesetzet %n{nicht}
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4960-4960 Clockwise wird CounterClockwise entgegengesetzet %n{nicht}
(contraryAttribute Conductivity Resistivity) engineering.kif 675-675 Conductivity wird Resistivity entgegengesetzet %n{nicht}
(contraryAttribute Conscious Unconscious) Medicine.kif 435-435 Conscious wird Unconscious entgegengesetzet %n{nicht}
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 1638-1638 ContainerFull wird ContainerEmpty entgegengesetzet %n{nicht}
(contraryAttribute Dead Living) Merge.kif 18093-18093 Dead wird Living entgegengesetzet %n{nicht}
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 29438-29438 DeviceDamaged wird DeviceNormal entgegengesetzet %n{nicht}
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3644-3644 DeviceOn wird DeviceOff entgegengesetzet %n{nicht}
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3645-3645 DeviceOpen wird DeviceClosed entgegengesetzet %n{nicht}
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 25572-25572 Dirty wird Clean entgegengesetzet %n{nicht}
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8656-8656 Drugged wird Sober entgegengesetzet %n{nicht}
(contraryAttribute Dry Damp) Merge.kif 17991-17991 Dry wird Damp entgegengesetzet %n{nicht}
(contraryAttribute Embryonic Larval) Merge.kif 18190-18190 Embryonic wird Larval entgegengesetzet %n{nicht}
(contraryAttribute False True) Merge.kif 16985-16985 False wird True entgegengesetzet %n{nicht}
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 285-285 FederalGovernment wird AuthoritarianRegime entgegengesetzet %n{nicht}
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 284-284 FederalGovernment wird UnitaryRule entgegengesetzet %n{nicht}
(contraryAttribute FeelingAlert FeelingTired) emotion.kif 1849-1849 FeelingAlert wird FeelingTired entgegengesetzet %n{nicht}
(contraryAttribute FeelingAtEase FeelingRestless) emotion.kif 1782-1782 FeelingAtEase wird FeelingRestless entgegengesetzet %n{nicht}

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