Attribute(attribute)![]() ![]() ![]() ![]() | ![]() | 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 1681-1682 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10468-10468 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10461-10461 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9903-9903 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10463-10463 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10464-10464 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10462-10462 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10465-10465 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10466-10466 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10469-10469 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10470-10470 | |
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. | Merge.kif 1679-1679 | Attribute is exhaustively partitioned into internal attribute and relational attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1677-1677 | Attribute is a subclass of abstract |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Food.kif 744-744 | Basic pH is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6133-6133 | Canopied vegetation is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 299-299 | Crosswind is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6138-6138 | Dense vegetation is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6143-6143 | Ground cover vegetation is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 305-305 | Headwind is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4615-4615 | Open sea is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14906-14906 | Paved is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 619-619 | Representative sample is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6148-6148 | Scattered vegetation is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6153-6153 | Sparse vegetation is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2678-2678 | Standard ambient temperature and pressure is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 312-312 | Tailwind is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14907-14907 | Unpaved is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 940-940 | Vegan is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 931-931 | Vegetarian is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 798-798 | Account attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1276-1276 | Climate zone is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4606-4606 | Experiment attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1781-1781 | Internal attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 368-368 | Web listing attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1792-1792 | Relational attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1836-1836 | Transaction attribute is a subclass of attribute |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 855-855 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 912-912 | |
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 1647-1647 | Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1755-1755 | The number 2 argument of attr is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1738-1738 | The number 1 argument of extension is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1698-1698 | 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 740-740 | 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 1416-1416 | 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 1398-1398 | 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 1710-1710 | The number 2 argument of manner is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1686-1686 | The number 2 argument of property is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 671-671 | 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 672-672 | 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 693-693 | 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 694-694 | 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 719-719 | 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 720-720 | 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 6127-6127 | 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 292-292 | 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 629-645 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 464-468 |
|
![]() |
![]() |