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) 指的是没有一件东西是既 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 相反属性 的 1 数量 是 属性instance
(instance contraryAttribute Predicate) Merge.kif 505-505 相反属性谓语instance
(instance contraryAttribute VariableArityRelation) Merge.kif 506-506 相反属性不定次元关系instance

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 termFormat ChineseLanguage, 相反属性 and "相反属性"
(termFormat EnglishLanguage contraryAttribute "contrary attribute") domainEnglishFormat.kif 3256-3256 termFormat EnglishLanguage, 相反属性 and "contrary attribute"

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


(=>
    (and
        (contraryAttribute @ROW1)
        (identicalListItems
            (ListFn @ROW1)
            (ListFn @ROW2)))
    (contraryAttribute @ROW2))
Merge.kif 522-526
  • 如果 @ROW1 是 的相反 和 identicalListItems (@ROW1) and (@ROW2),
  • 然后 @ROW2 是 的相反
(=>
    (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
  • 如果 @ROW1 是 的相反 和 identicalListItems (@ROW1) and (@ROW2),
  • 然后 @ROW2 是 的相反
(=>
    (oppositeDirection ?DIR1 ?DIR2)
    (contraryAttribute ?DIR1 ?DIR2))
Mid-level-ontology.kif 15837-15839

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


(contraryAttribute Above Below) Merge.kif 17413-17413 AboveBelow 的相反
(contraryAttribute AcidicPH BasicPH) Food.kif 806-806 AcidicPHBasicPH 的相反
(contraryAttribute Audible Inaudible) Merge.kif 13569-13569 AudibleInaudible 的相反
(contraryAttribute AuthoritarianRegime MultipartyDemocracy) Government.kif 324-324 AuthoritarianRegimeMultipartyDemocracy 的相反
(contraryAttribute BroadGauge StandardGauge NarrowGauge DualGauge) Transportation.kif 388-388 BroadGaugeStandardGauge 的相反
(contraryAttribute Civilian MilitaryPerson) Mid-level-ontology.kif 20059-20059 CivilianMilitaryPerson 的相反
(contraryAttribute Clockwise CounterClockwise) Cars.kif 4931-4931 ClockwiseCounterClockwise 的相反
(contraryAttribute Conductivity Resistivity) engineering.kif 668-668 ConductivityResistivity 的相反
(contraryAttribute ContainerFull ContainerEmpty) Mid-level-ontology.kif 2047-2047 ContainerFullContainerEmpty 的相反
(contraryAttribute Dead Living) Merge.kif 18503-18503 DeadLiving 的相反
(contraryAttribute DeviceDamaged DeviceNormal) Mid-level-ontology.kif 27586-27586 DeviceDamagedDeviceNormal 的相反
(contraryAttribute Dirty Clean) Mid-level-ontology.kif 23484-23484 DirtyClean 的相反
(contraryAttribute Drugged Sober) Mid-level-ontology.kif 8335-8335 DruggedSober 的相反
(contraryAttribute Dry Damp) Merge.kif 18384-18384 DryDamp 的相反
(contraryAttribute Embryonic Larval) Merge.kif 18607-18607 EmbryonicLarval 的相反
(contraryAttribute False True) Merge.kif 17304-17304 FalseTrue 的相反
(contraryAttribute FederalGovernment AuthoritarianRegime) Government.kif 273-273 FederalGovernmentAuthoritarianRegime 的相反
(contraryAttribute FederalGovernment UnitaryRule) Government.kif 272-272 FederalGovernmentUnitaryRule 的相反
(contraryAttribute FullTimePosition PartTimePosition) Mid-level-ontology.kif 16295-16295 FullTimePositionPartTimePosition 的相反
(contraryAttribute Functioning Malfunctioning) Mid-level-ontology.kif 2269-2269 FunctioningMalfunctioning 的相反
(contraryAttribute GUE_ActiveState GUE_PassiveState) ComputerInput.kif 1551-1551 GUE_ActiveStateGUE_PassiveState 的相反
(contraryAttribute GUE_CoveredState GUE_SelectedState) ComputerInput.kif 1737-1737 GUE_CoveredStateGUE_SelectedState 的相反
(contraryAttribute GUE_CoveredState GUE_UncoveredState GUE_PartiallyCoveredState) ComputerInput.kif 1684-1684 GUE_CoveredStateGUE_UncoveredState 的相反
(contraryAttribute GUE_MinimizedState GUE_ActiveState) ComputerInput.kif 1624-1624 GUE_MinimizedStateGUE_ActiveState 的相反
(contraryAttribute GUE_NonVisibleState GUE_DisplayedState) ComputerInput.kif 1605-1605 GUE_NonVisibleStateGUE_DisplayedState 的相反

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners