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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Attribute

Sigma KEE - Attribute
Attribute(attribute)
more pictures...
CISC, E.S.P., ESP, God's_Will, High_Renaissance, Midas_touch, RISC, ability, absence, absolute, absolute_magnitude, absolution, accept, act_as, actinism, activity, add, address, admit, afford, age, agelessness, agree, air_alert, alert, alterability, ambiguity, amorality, amount, anchorage, anecdotist, anisotropy, annulment, answer, antecede, antecedence, antecedency, antedate, anteriority, appertain, aptness, arability, arise, artistic_style, ask, aspect, assailability, astringency, atmosphere, atmospheric_state...

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 "http://upload.wikimedia.org/wikipedia/commons/0/03/ Liberation-compare.png" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ NordJW-06_Mudpaws_Duke_Silver.jpg") pictureList.kif 10472-10472 "http://upload.wikimedia.org/wikipedia/commons/0/04/ NordJW-06_Mudpaws_Duke_Silver.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Fiddler_crab.jpg") pictureList.kif 9913-9913 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Fiddler_crab.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Big_ben.jpg") pictureList.kif 10474-10474 "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Big_ben.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1b/ Spicularia.PNG") pictureList.kif 10475-10475 "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Spicularia.PNG" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Young_and_old.jpg") pictureList.kif 10473-10473 "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Young_and_old.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4a/ Tall_Sundew.jpg") pictureList.kif 10476-10476 "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Tall_Sundew.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Stalinist_and_19_century_compare_sizes.jpg") pictureList.kif 10477-10477 "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Stalinist_and_19_century_compare_sizes.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ ASCII_notepad_acidview_compare.png") pictureList.kif 10480-10480 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ ASCII_notepad_acidview_compare.png" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ 7/ 70/ Shroud_positive_negative_compare.jpg") pictureList.kif 10481-10481 "http://upload.wikimedia.org/wikipedia/commons/7/70/ Shroud_positive_negative_compare.jpg" is a URL depicting attribute
(externalImage Attribute "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg") pictureList.kif 10471-10471 "http://upload.wikimedia.org/wikipedia/commons/e/e3/ Remebrance_poppy_ww2_section_of_Aust_war_memorial.jpg" is a URL depicting attribute
(partition Attribute InternalAttribute RelationalAttribute) Merge.kif 1757-1757 Attribute is exhaustively partitioned into internal attribute and relational attribute
(subclass Attribute Abstract) Merge.kif 1755-1755 Attribute is a subclass of abstract

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


(instance BasicPH Attribute) Food.kif 804-804 BasicPH is an instance of attribute
(instance CanopiedVegetation Attribute) Geography.kif 5805-5805 Canopied vegetation is an instance of attribute
(instance Crosswind Attribute) Weather.kif 287-287 Crosswind is an instance of attribute
(instance DenseVegetation Attribute) Geography.kif 5810-5810 Dense vegetation is an instance of attribute
(instance GroundCoverVegetation Attribute) Geography.kif 5815-5815 Ground cover vegetation is an instance of attribute
(instance Headwind Attribute) Weather.kif 293-293 Headwind is an instance of attribute
(instance OpenSea Attribute) Geography.kif 4402-4402 Open sea is an instance of attribute
(instance Paved Attribute) Mid-level-ontology.kif 12751-12751 Paved is an instance of attribute
(instance RepresentativeSample Attribute) UXExperimentalTerms.kif 617-617 Representative sample is an instance of attribute
(instance ScatteredVegetation Attribute) Geography.kif 5820-5820 Scattered vegetation is an instance of attribute
(instance SparseVegetation Attribute) Geography.kif 5825-5825 Sparse vegetation is an instance of attribute
(instance StandardAmbientTemperaturePressure Attribute) Weather.kif 1084-1084 Standard ambient temperature and pressure is an instance of attribute
(instance Tailwind Attribute) Weather.kif 300-300 Tailwind is an instance of attribute
(instance Unpaved Attribute) Mid-level-ontology.kif 12752-12752 Unpaved is an instance of attribute
(instance Vegan Attribute) Food.kif 999-999 Vegan is an instance of attribute
(instance Vegetarian Attribute) Food.kif 990-990 Vegetarian is an instance of attribute
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 798-798 Account attribute is a subclass of attribute
(subclass ExperimentAttribute Attribute) UXExperimentalTerms.kif 4595-4595 Experiment attribute is a subclass of attribute
(subclass InternalAttribute Attribute) Merge.kif 1864-1864 Internal attribute is a subclass of attribute
(subclass ListingAttribute Attribute) UXExperimentalTerms.kif 368-368 Web listing attribute is a subclass of attribute
(subclass RelationalAttribute Attribute) Merge.kif 1877-1877 Relational attribute is a subclass of attribute
(subclass TransactionAttribute Attribute) UXExperimentalTerms.kif 1837-1837 Transaction attribute is a subclass of attribute
(termFormat ChineseLanguage Attribute "属性") chinese_format.kif 855-855 "属性" is the printable form of attribute in ChineseLanguage
(termFormat EnglishLanguage Attribute "attribute") english_format.kif 542-542 "attribute" is the printable form of attribute in english language

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


(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition) Merge.kif 1722-1722 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
(domain AttrFn 2 Attribute) Merge.kif 1834-1834 The number 2 argument of attr is an instance of attribute
(domain ExtensionFn 1 Attribute) Merge.kif 1817-1817 The number 1 argument of extension is an instance of attribute
(domain contraryAttribute 1 Attribute) Merge.kif 507-507 The number 1 argument of contrary attribute is an instance of attribute
(domain contraryAttributeWRT 1 Attribute) ComputerInput.kif 17-17 The number 1 argument of contraryAttributeWRT is an instance of attribute
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18 The number 2 argument of contraryAttributeWRT is an instance of attribute
(domain exhaustiveAttribute 2 Attribute) Merge.kif 543-543 The number 2 argument of exhaustive attribute is an instance of attribute
(domain greaterThanByQuality 3 Attribute) Merge.kif 783-783 The number 3 argument of greaterThanByQuality is an instance of attribute
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1411-1411 The number 2 argument of labor force fraction by occupation is an instance of attribute
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1393-1393 The number 2 argument of labor force fraction by occupation in period is an instance of attribute
(domain property 2 Attribute) Merge.kif 1765-1765 The number 2 argument of property is an instance of attribute
(domain subAttribute 1 Attribute) Merge.kif 715-715 The number 1 argument of sub attribute is an instance of attribute
(domain subAttribute 2 Attribute) Merge.kif 716-716 The number 2 argument of sub attribute is an instance of attribute
(domain subjectiveAttribute 2 Attribute) Dining.kif 317-317 The number 2 argument of subjective attribute is an instance of attribute
(domain successorAttribute 1 Attribute) Merge.kif 738-738 The number 1 argument of successor attribute is an instance of attribute
(domain successorAttribute 2 Attribute) Merge.kif 739-739 The number 2 argument of successor attribute is an instance of attribute
(domain successorAttributeClosure 1 Attribute) Merge.kif 759-759 The number 1 argument of successor attribute closure is an instance of attribute
(domain successorAttributeClosure 2 Attribute) Merge.kif 760-760 The number 2 argument of successor attribute closure is an instance of attribute
(domain vegetationTypePattern 3 Attribute) Geography.kif 5799-5799 The number 3 argument of vegetation type pattern is an instance of attribute
(domain windRelativePosition 2 Attribute) Weather.kif 280-280 The number 2 argument of wind relative position is an instance of attribute
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 542-542 The number 1 argument of exhaustive attribute is a subclass of attribute

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