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

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


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

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
(domain ExtensionFn 1 Attribute) Merge.kif 1817-1817
(domain contraryAttribute 1 Attribute) Merge.kif 507-507
(domain contraryAttributeWRT 1 Attribute) ComputerInput.kif 17-17
(domain contraryAttributeWRT 2 Attribute) ComputerInput.kif 18-18
(domain exhaustiveAttribute 2 Attribute) Merge.kif 543-543
(domain greaterThanByQuality 3 Attribute) Merge.kif 783-783
(domain laborForceFractionByOccupation 2 Attribute) Economy.kif 1411-1411
(domain laborForceFractionByOccupationInPeriod 2 Attribute) Economy.kif 1393-1393
(domain property 2 Attribute) Merge.kif 1765-1765
(domain subAttribute 1 Attribute) Merge.kif 715-715
(domain subAttribute 2 Attribute) Merge.kif 716-716
(domain subjectiveAttribute 2 Attribute) Dining.kif 317-317
(domain successorAttribute 1 Attribute) Merge.kif 738-738
(domain successorAttribute 2 Attribute) Merge.kif 739-739
(domain successorAttributeClosure 1 Attribute) Merge.kif 759-759
(domain successorAttributeClosure 2 Attribute) Merge.kif 760-760
(domain vegetationTypePattern 3 Attribute) Geography.kif 5799-5799
(domain windRelativePosition 2 Attribute) Weather.kif 280-280
(domainSubclass exhaustiveAttribute 1 Attribute) Merge.kif 542-542

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