Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Attribute

 Sigma KEE - Attribute
Attribute(属性)
more pictures...

appearance as argument number 1
-------------------------


(documentation Attribute ChineseLanguage "这是我们不能够或选择不去具体化为 Object 的子类别的 质量。") Merge.kif 1760-1761
(documentation Attribute EnglishLanguage "Qualities which we cannot or choose not to reify into subclasses of .") Merge.kif 1758-1759
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 03/ Liberation-compare.png") pictureList.kif 10479-10479 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/0/03/ Liberation-compare.png"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ NordJW-06_Mudpaws_Duke_Silver.jpg") pictureList.kif 10472-10472 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/0/04/ NordJW-06_Mudpaws_Duke_Silver.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") pictureList.kif 9913-9913 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Fiddler_crab.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Big_ben.jpg") pictureList.kif 10474-10474 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Big_ben.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Spicularia.PNG") pictureList.kif 10475-10475 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Spicularia.PNG"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Young_and_old.jpg") pictureList.kif 10473-10473 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Young_and_old.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Tall_Sundew.jpg") pictureList.kif 10476-10476 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Tall_Sundew.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Stalinist_and_19_century_compare_sizes.jpg") pictureList.kif 10477-10477 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Stalinist_and_19_century_compare_sizes.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ ASCII_notepad_acidview_compare.png") pictureList.kif 10480-10480 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/6/6e/ ASCII_notepad_acidview_compare.png"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Shroud_positive_negative_compare.jpg") pictureList.kif 10481-10481 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/7/70/ Shroud_positive_negative_compare.jpg"
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") pictureList.kif 10471-10471 externalImage 属性 and "http://upload.wikimedia.org/wikipedia/commons/e/e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg"
(partition Attribute InternalAttribute RelationalAttribute) Merge.kif 1757-1757 属性 详尽无遗地 partition 成 内在属性 和 关联属性
(subclass Attribute Abstract) Merge.kif 1755-1755 属性 是 抽象体 的 subclass

appearance as argument number 2
-------------------------


(instance BasicPH Attribute) Food.kif 804-804 BasicPH 是 属性 的 instance
(instance CanopiedVegetation Attribute) Geography.kif 5805-5805 CanopiedVegetation 是 属性 的 instance
(instance Crosswind Attribute) Weather.kif 287-287 Crosswind 是 属性 的 instance
(instance DenseVegetation Attribute) Geography.kif 5810-5810 DenseVegetation 是 属性 的 instance
(instance GroundCoverVegetation Attribute) Geography.kif 5815-5815 GroundCoverVegetation 是 属性 的 instance
(instance Headwind Attribute) Weather.kif 293-293 Headwind 是 属性 的 instance
(instance OpenSea Attribute) Geography.kif 4402-4402 OpenSea 是 属性 的 instance
(instance Paved Attribute) Mid-level-ontology.kif 12751-12751 Paved 是 属性 的 instance
(instance RepresentativeSample Attribute) UXExperimentalTerms.kif 617-617 RepresentativeSample 是 属性 的 instance
(instance ScatteredVegetation Attribute) Geography.kif 5820-5820 ScatteredVegetation 是 属性 的 instance
(instance SparseVegetation Attribute) Geography.kif 5825-5825 SparseVegetation 是 属性 的 instance
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 1084-1084 标准状况 是 属性 的 instance
(instance Tailwind Attribute) Weather.kif 300-300 Tailwind 是 属性 的 instance
(instance Unpaved Attribute) Mid-level-ontology.kif 12752-12752 Unpaved 是 属性 的 instance
(instance Vegan Attribute) Food.kif 999-999 Vegan 是 属性 的 instance
(instance Vegetarian Attribute) Food.kif 990-990 Vegetarian 是 属性 的 instance
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 798-798 AccountAttribute 是 属性 的 subclass
(subclass ExperimentAttribute Attribute) UXExperimentalTerms.kif 4595-4595 ExperimentAttribute 是 属性 的 subclass
(subclass InternalAttribute Attribute) Merge.kif 1864-1864 内在属性 是 属性 的 subclass
(subclass ListingAttribute Attribute) UXExperimentalTerms.kif 368-368 ListingAttribute 是 属性 的 subclass
(subclass RelationalAttribute Attribute) Merge.kif 1877-1877 关联属性 是 属性 的 subclass
(subclass TransactionAttribute Attribute) UXExperimentalTerms.kif 1837-1837 TransactionAttribute 是 属性 的 subclass
(termFormat ChineseLanguage Attribute "属性") chinese_format.kif 855-855 termFormat ChineseLanguage, 属性 and "属性"
(termFormat EnglishLanguage Attribute "attribute") english_format.kif 626-626 termFormat EnglishLanguage, 属性 and "attribute"
(termFormat JapaneseLanguage Attribute "属性") english_format.kif 627-627 termFormat JapaneseLanguage, 属性 and "属性"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1722-1722 抽象体 分拆成不相交的 数量, 属性, 集或类, 关系, 和 命题
(domain AttrFn 2 Attribute) Merge.kif 1834-1834 AttrFn 的 2 数量 是 属性 的 instance
(domain ExtensionFn 1 Attribute) Merge.kif 1817-1817 延伸函数 的 1 数量 是 属性 的 instance
(domain contraryAttribute 1 Attribute) Merge.kif 507-507 相反属性 的 1 数量 是 属性 的 instance
(domain contraryAttributeWRT 1 Attribute) ComputerInput.kif 17-17 contraryAttributeWRT 的 1 数量 是 属性 的 instance
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 contraryAttributeWRT 的 2 数量 是 属性 的 instance
(domain exhaustiveAttribute 2 Attribute) Merge.kif 543-543 exhaustiveAttribute 的 2 数量 是 属性 的 instance
(domain greaterThanByQuality 3 Attribute) Merge.kif 783-783 greaterThanByQuality 的 3 数量 是 属性 的 instance
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1411-1411 laborForceFractionByOccupation 的 2 数量 是 属性 的 instance
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1393-1393 laborForceFractionByOccupationInPeriod 的 2 数量 是 属性 的 instance
(domain property 2 Attribute) Merge.kif 1765-1765 特性 的 2 数量 是 属性 的 instance
(domain subAttribute 1 Attribute) Merge.kif 715-715 子属性 的 1 数量 是 属性 的 instance
(domain subAttribute 2 Attribute) Merge.kif 716-716 子属性 的 2 数量 是 属性 的 instance
(domain subjectiveAttribute 2 Attribute) Dining.kif 317-317 subjectiveAttribute 的 2 数量 是 属性 的 instance
(domain successorAttribute 1 Attribute) Merge.kif 738-738 后续属性 的 1 数量 是 属性 的 instance
(domain successorAttribute 2 Attribute) Merge.kif 739-739 后续属性 的 2 数量 是 属性 的 instance
(domain successorAttributeClosure 1 Attribute) Merge.kif 759-759 后续属性闭包 的 1 数量 是 属性 的 instance
(domain successorAttributeClosure 2 Attribute) Merge.kif 760-760 后续属性闭包 的 2 数量 是 属性 的 instance
(domain vegetationTypePattern 3 Attribute) Geography.kif 5799-5799 vegetationTypePattern 的 3 数量 是 属性 的 instance
(domain windRelativePosition 2 Attribute) Weather.kif 280-280 windRelativePosition 的 2 数量 是 属性 的 instance
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 542-542 exhaustiveAttribute 的 1 数量 是 属性 的 subclass

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


(=>
    (and
        (instance ?ATT1 Attribute)
        (instance ?ATT2 Attribute)
        (subrelation ?PRED attribute))
    (not
        (and
            (contraryAttributeWRT ?ATT1 ?ATT2 ?PRED)
            (?PRED ?ENTITY ?ATT1)
            (?PRED ?ENTITY ?ATT2))))		 ComputerInput.kif 42-51
(=>
    (and
        (offers ?AGENT ?ATTR)
        (instance ?ATTR Attribute))
    (modalAttribute
        (exists (?OBJ ?SELL)
            (and
                (instance ?SELL Selling)
                (attribute ?OBJ ?ATTR)
                (patient ?SELL ?OBJ)
                (agent ?SELL ?AGENT))) Possibility))		 Catalog.kif 108-118
(=>
    (and
        (offersAtTime ?AGENT ?ATTR ?TIMEINT)
        (instance ?ATTR Attribute))
    (holdsDuring ?TIMEINT
        (offers ?AGENT ?ATTR)))		 Catalog.kif 147-152
(=>
    (and
        (subclass ?X ?CLASS)
        (instance ?I ?X)
        (instance ?ATTR Attribute))
    (=>
        (property ?I ?ATTR)
        (equal ?X
            (AttrFn ?CLASS ?ATTR))))		 Merge.kif 1847-1855

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


(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT CognitiveAgent)
        (agent ?EXPERIMENT ?AGENT)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (forall (?ATTRIBUTE)
        (=>
            (and
                (instance ?ATTRIBUTE Attribute)
                (property ?SAMPLE_COLL ?ATTRIBUTE)
                (inScopeOfInterest ?AGENT ?ATTRIBUTE)
                (not
                    (equal ?ATTRIBUTE RepresentativeSample)))
            (property ?POP_COLL ?ATTRIBUTE))))		 UXExperimentalTerms.kif 627-643
(=>
    (contraryAttribute @ROW)
    (=>
        (inList ?ELEMENT
            (ListFn @ROW))
        (instance ?ELEMENT Attribute)))		 Merge.kif 516-520
(=>
    (exhaustiveAttribute ?CLASS @ROW)
    (=>
        (inList ?ATTR
            (ListFn @ROW))
        (instance ?ATTR Attribute)))		 Merge.kif 554-558


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