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 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1710-1711 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1704-1705 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 313-314 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10458-10458 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10451-10451 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9895-9895 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10453-10453 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10454-10454 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10452-10452 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10455-10455 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10456-10456 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10459-10459 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10460-10460 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10450-10450 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1702-1702 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | 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 2801-2801 | Basic pH 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. | Weather.kif 293-293 | Headwind is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4705-4705 | Open sea is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15277-15277 | Paved is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 492-492 | Representative sample is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2661-2661 | 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 15278-15278 | Unpaved is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3531-3531 | Vegan is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3522-3522 | Vegetarian is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11305-11305 | Windy is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | Account attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3083-3083 | AirQualityAQIAttribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | Climate zone is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4400-4400 | Experiment attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Internal attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 293-293 | Web listing attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1815-1815 | Relational attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1630-1630 | Transaction attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 855-855 | Transaction attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 912-912 | Transaction attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 531-531 | Transaction attribute is a subclass of attribute |
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 1670-1670 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1778-1778 | The number 2 argument of attr is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1761-1761 | The number 1 argument of extension is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1721-1721 | The number 2 argument of attribute is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 457-457 | 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 contrary attribute WRT 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 contrary attribute WRT is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 489-489 | 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 751-751 | The number 3 argument of greater than by quality is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1405-1405 | 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 1387-1387 | 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 1733-1733 | The number 2 argument of manner is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1709-1709 | The number 2 argument of property is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 682-682 | 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 683-683 | 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 314-314 | 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 704-704 | 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 705-705 | 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 730-730 | 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 731-731 | 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 6219-6219 | 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 488-488 | 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 43-52 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 109-119 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 152-157 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 497-501 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 501-517 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 464-468 |
|