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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 属性, 内部属性 and 関係属性
(subclass Attribute Abstract) Merge.kif 1755-1755 subclass 属性 and 抽象的な

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


(instance BasicPH Attribute) Food.kif 804-804 instance BasicPH and 属性
(instance CanopiedVegetation Attribute) Geography.kif 5805-5805 instance CanopiedVegetation and 属性
(instance Crosswind Attribute) Weather.kif 287-287 instance Crosswind and 属性
(instance DenseVegetation Attribute) Geography.kif 5810-5810 instance DenseVegetation and 属性
(instance GroundCoverVegetation Attribute) Geography.kif 5815-5815 instance GroundCoverVegetation and 属性
(instance Headwind Attribute) Weather.kif 293-293 instance Headwind and 属性
(instance OpenSea Attribute) Geography.kif 4402-4402 instance OpenSea and 属性
(instance Paved Attribute) Mid-level-ontology.kif 12751-12751 instance Paved and 属性
(instance RepresentativeSample Attribute) UXExperimentalTerms.kif 617-617 instance RepresentativeSample and 属性
(instance ScatteredVegetation Attribute) Geography.kif 5820-5820 instance ScatteredVegetation and 属性
(instance SparseVegetation Attribute) Geography.kif 5825-5825 instance SparseVegetation and 属性
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 1084-1084 instance StandardAmbientTemperaturePressure and 属性
(instance Tailwind Attribute) Weather.kif 300-300 instance Tailwind and 属性
(instance Unpaved Attribute) Mid-level-ontology.kif 12752-12752 instance Unpaved and 属性
(instance Vegan Attribute) Food.kif 999-999 instance Vegan and 属性
(instance Vegetarian Attribute) Food.kif 990-990 instance Vegetarian and 属性
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 798-798 subclass AccountAttribute and 属性
(subclass ExperimentAttribute Attribute) UXExperimentalTerms.kif 4595-4595 subclass ExperimentAttribute and 属性
(subclass InternalAttribute Attribute) Merge.kif 1864-1864 subclass 内部属性 and 属性
(subclass ListingAttribute Attribute) UXExperimentalTerms.kif 368-368 subclass ListingAttribute and 属性
(subclass RelationalAttribute Attribute) Merge.kif 1877-1877 subclass 関係属性 and 属性
(subclass TransactionAttribute Attribute) UXExperimentalTerms.kif 1837-1837 subclass TransactionAttribute and 属性
(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 disjointDecomposition 抽象的な, , 属性, 同じセットまたはクラス, 関係 and 命題
(domain AttrFn 2 Attribute) Merge.kif 1834-1834 domain AttrFn, 2 and 属性
(domain ExtensionFn 1 Attribute) Merge.kif 1817-1817 domain ExtensionFn, 1 and 属性
(domain contraryAttribute 1 Attribute) Merge.kif 507-507 domain contraryAttribute, 1 and 属性
(domain contraryAttributeWRT 1 Attribute) ComputerInput.kif 17-17 domain contraryAttributeWRT, 1 and 属性
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 domain contraryAttributeWRT, 2 and 属性
(domain exhaustiveAttribute 2 Attribute) Merge.kif 543-543 domain exhaustiveAttribute, 2 and 属性
(domain greaterThanByQuality 3 Attribute) Merge.kif 783-783 domain greaterThanByQuality, 3 and 属性
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1411-1411 domain laborForceFractionByOccupation, 2 and 属性
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1393-1393 domain laborForceFractionByOccupationInPeriod, 2 and 属性
(domain property 2 Attribute) Merge.kif 1765-1765 domain property, 2 and 属性
(domain subAttribute 1 Attribute) Merge.kif 715-715 domain subAttribute, 1 and 属性
(domain subAttribute 2 Attribute) Merge.kif 716-716 domain subAttribute, 2 and 属性
(domain subjectiveAttribute 2 Attribute) Dining.kif 317-317 domain subjectiveAttribute, 2 and 属性
(domain successorAttribute 1 Attribute) Merge.kif 738-738 domain successorAttribute, 1 and 属性
(domain successorAttribute 2 Attribute) Merge.kif 739-739 domain successorAttribute, 2 and 属性
(domain successorAttributeClosure 1 Attribute) Merge.kif 759-759 domain successorAttributeClosure, 1 and 属性
(domain successorAttributeClosure 2 Attribute) Merge.kif 760-760 domain successorAttributeClosure, 2 and 属性
(domain vegetationTypePattern 3 Attribute) Geography.kif 5799-5799 domain vegetationTypePattern, 3 and 属性
(domain windRelativePosition 2 Attribute) Weather.kif 280-280 domain windRelativePosition, 2 and 属性
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 542-542 domainSubclass exhaustiveAttribute, 1 and 属性

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