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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Attribute
Attribute(attribute)
more pictures...
صِفَة, Atributo, Attributo, 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...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1737-1738
No TPTP formula. May not be expressible in strict first order. Merge.kif 1735-1736
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10479-10479 "http://upload.wikimedia.org/wikipedia/commons/0/03/ Liberation-compare.png" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10472-10472 "http://upload.wikimedia.org/wikipedia/commons/0/04/ NordJW-06_Mudpaws_Duke_Silver.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9913-9913 "http://upload.wikimedia.org/wikipedia/commons/0/0b/ Fiddler_crab.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10474-10474 "http://upload.wikimedia.org/wikipedia/commons/0/0e/ Big_ben.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10475-10475 "http://upload.wikimedia.org/wikipedia/commons/1/1b/ Spicularia.PNG" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10473-10473 "http://upload.wikimedia.org/wikipedia/commons/3/3a/ Young_and_old.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10476-10476 "http://upload.wikimedia.org/wikipedia/commons/4/4a/ Tall_Sundew.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10477-10477 "http://upload.wikimedia.org/wikipedia/commons/4/4f/ Stalinist_and_19_century_compare_sizes.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10480-10480 "http://upload.wikimedia.org/wikipedia/commons/6/6e/ ASCII_notepad_acidview_compare.png" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10481-10481 "http://upload.wikimedia.org/wikipedia/commons/7/70/ Shroud_positive_negative_compare.jpg" is a URL depicting attribute
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Merge.kif 1734-1734 Attribute is exhaustively partitioned into internal attribute and relational attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1732-1732 Attribute is a subclass of abstract

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


No TPTP formula. May not be expressible in strict first order. relations-it.txt 29-29
No TPTP formula. May not be expressible in strict first order. Food.kif 804-804 BasicPH is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5806-5806 Canopied vegetation is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 287-287 Crosswind is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5811-5811 Dense vegetation is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5816-5816 Ground cover vegetation is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 293-293 Headwind is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 4403-4403 Open sea is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12491-12491 Paved is an instance of attribute
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 618-618 Representative sample is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5821-5821 Scattered vegetation is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5826-5826 Sparse vegetation is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 1084-1084 Standard ambient temperature and pressure is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 300-300 Tailwind is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12492-12492 Unpaved is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 999-999 Vegan is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Food.kif 990-990 Vegetarian is an instance of attribute
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 799-799 Account attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4596-4596 Experiment attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1841-1841 Internal attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 369-369 Web listing attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1854-1854 Relational attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1838-1838 Transaction attribute is a subclass of attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 855-855 "属性" is the printable form of attribute in ChineseLanguage

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1704-1704 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 1811-1811 The number 2 argument of attr is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1794-1794 The number 1 argument of extension is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 505-505 The number 1 argument of contrary attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 17-17 The number 1 argument of contraryAttributeWRT is an instance of attribute
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 18-18 The number 2 argument of contraryAttributeWRT is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 541-541 The number 2 argument of exhaustive attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 769-769 The number 3 argument of greaterThanByQuality is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1411-1411 The number 2 argument of labor force fraction by occupation is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1393-1393 The number 2 argument of labor force fraction by occupation in period is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1742-1742 The number 2 argument of property is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 701-701 The number 1 argument of sub attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 702-702 The number 2 argument of sub attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Dining.kif 317-317 The number 2 argument of subjective attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 724-724 The number 1 argument of successor attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 725-725 The number 2 argument of successor attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 745-745 The number 1 argument of successor attribute closure is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 746-746 The number 2 argument of successor attribute closure is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 5800-5800 The number 3 argument of vegetation type pattern is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 280-280 The number 2 argument of wind relative position is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 540-540 The number 1 argument of exhaustive attribute is a subclass of attribute

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 42-51
No TPTP formula. May not be expressible in strict first order. Catalog.kif 108-118
No TPTP formula. May not be expressible in strict first order. Catalog.kif 147-152
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1832

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 628-644
No TPTP formula. May not be expressible in strict first order. Merge.kif 514-518
No TPTP formula. May not be expressible in strict first order. Merge.kif 552-556


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