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
(instance contraryAttribute Predicate) Merge.kif 505-505
(instance contraryAttribute VariableArityRelation) Merge.kif 506-506

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
(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 PortugueseLanguage contraryAttribute "%1 e' %n &o oposto de %2") portuguese_format.kif 116-116
(format ar contraryAttribute "%1 هو %n مٌضَاد لـ %2") arabic_format.kif 109-109
(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 tg contraryAttribute "%1 %n ay sinaalungat sa %2") relations-cb.txt 92-92
(termFormat ChineseLanguage contraryAttribute "相反属性") chinese_format.kif 284-284
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 3256-3256
(termFormat ar contraryAttribute "«مٌضَاد لـ»") arabic_format.kif 559-559
(termFormat tg contraryAttribute "sinaalungat katangian") relations-tg.txt 133-133

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 1916-1927
(=>
    (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 17185-17193
(=>
    (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 15807-15809

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


(contraryAttribute Above Below) Merge.kif 17361-17361
(contraryAttribute AcidicPH BasicPH) Food.kif 806-806
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 519-519
(contraryAttribute Audible Inaudible) Merge.kif 13511-13511
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 324-324
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 361-361
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 20001-20001
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4931-4931
(contraryAttribute Conductivity Resistivity) engineering.kif 668-668
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2047-2047
(contraryAttribute Dead Living) Merge.kif 18451-18451
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 27506-27506
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 23453-23453
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8335-8335
(contraryAttribute Dry Damp) Merge.kif 18332-18332
(contraryAttribute Embryonic Larval) Merge.kif 18555-18555
(contraryAttribute False True) Merge.kif 17252-17252
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 273-273
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 272-272
(contraryAttribute FeelingAlert FeelingTired) emotion.kif 1806-1806
(contraryAttribute FeelingAtEase FeelingRestless) emotion.kif 1739-1739
(contraryAttribute FeelingCalm FeelingNervous) emotion.kif 1717-1717
(contraryAttribute FeelingExhausted FeelingEnergetic) emotion.kif 1778-1778
(contraryAttribute FeelingGood FeelingBad) emotion.kif 1792-1792
(contraryAttribute FeelingInControl FeelingOutOfControl) emotion.kif 1747-1747

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