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) 指的是没有一件东西是既 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 452-455
(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 450-450 域 相反的屬性, 1 and Attribute
(instance contraryAttribute Predicate) Merge.kif 448-448 例 相反的屬性 and Predicate
(instance contraryAttribute VariableArityRelation) Merge.kif 449-449 例 相反的屬性 and VariableArityRelation

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 17019-17019
(termFormat ChineseTraditionalLanguage contraryAttribute "相反的屬性") domainEnglishFormat.kif 17018-17018
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 17017-17017
(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 469-477
(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))		 Merge.kif 463-467
(=>
    (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 15132-15143
(=>
    (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 17096-17104
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))		 Merge.kif 457-461

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))		 Merge.kif 463-467
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))		 Mid-level-ontology.kif 19714-19716

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


(contraryAttribute Above Below) Merge.kif 17248-17248 相反的屬性 以上 and 下面
(contraryAttribute AccountDeactivated AccountActive) ComputingBrands.kif 4470-4470 相反的屬性 AccountDeactivated and AccountActive
(contraryAttribute AcidicPH BasicPH) Food.kif 2810-2810 相反的屬性 AcidicPH and BasicPH
(contraryAttribute Ally Enemy) MilitaryProcesses.kif 2500-2500 相反的屬性 Ally and Enemy
(contraryAttribute AppraisalAsBeingDisliked AppraisalAsBeingLiked) emotion.kif 522-522 相反的屬性 AppraisalAsBeingDisliked and AppraisalAsBeingLiked
(contraryAttribute Audible Inaudible) Merge.kif 13761-13761 相反的屬性 聽得見 and Inaudible
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 336-336 相反的屬性 威權政權 and 多黨民主
(contraryAttribute BiDirectionalTraffic UniDirectionalTraffic) Transportation.kif 3240-3240 相反的屬性 BiDirectionalTraffic and UniDirectionalTraffic
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 391-391 相反的屬性 寬規, 標準規, 窄規 and 雙軌鐵路
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 23873-23873 相反的屬性 平民 and 軍人
(contraryAttribute Clockwise CounterClockwise) Cars.kif 5021-5021 相反的屬性 Clockwise and CounterClockwise
(contraryAttribute Conductivity Resistivity) engineering.kif 674-674 相反的屬性 電導率 and 抵抗力
(contraryAttribute Conscious Unconscious) Medicine.kif 424-424 相反的屬性 Conscious and Unconscious
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2101-2101 相反的屬性 容器滿了 and 空容器
(contraryAttribute Dead Living) Merge.kif 18279-18279 相反的屬性 死 and 活的
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 31357-31357 相反的屬性 DeviceDamaged and DeviceNormal
(contraryAttribute DeviceOn DeviceOff) ComputingBrands.kif 3639-3639 相反的屬性 設備上 and 設備關閉
(contraryAttribute DeviceOpen DeviceClosed) ComputingBrands.kif 3640-3640 相反的屬性 設備打開 and 設備關閉
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 27234-27234 相反的屬性 Dirty and Clean
(contraryAttribute Domestic International) Mid-level-ontology.kif 29023-29023 相反的屬性 Domestic and International
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 9862-9862 相反的屬性 下藥 and 清醒
(contraryAttribute Dry Damp) Merge.kif 18177-18177 相反的屬性 乾 and 潮濕
(contraryAttribute Embryonic Larval) Merge.kif 18377-18377 相反的屬性 胚胎 and 幼蟲
(contraryAttribute False True) Merge.kif 17160-17160 相反的屬性 假 and 真正
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 285-285 相反的屬性 聯邦政府 and 威權政權

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