InternalAttribute(internal attribute) more pictures... | architecture, computer_architecture, repair, resistance, roots, sanitary_condition, structure, tautness, tenseness, tension, tensity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1721-1722 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1806-1808 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 328-329 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11238-11238 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11237-11237 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11242-11242 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11241-11241 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11240-11240 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10072-10072 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11244-11244 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11243-11243 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | Internal attribute is a subclass of attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2799-2799 | Acidic pH is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 699-699 | Agnostic is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 717-717 | Atheist is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19626-19626 | Chemical equilibrium is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 737-737 | Deist is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29437-29437 | Device damaged is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29412-29412 | Device normal is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17589-17589 | Fluid is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21606-21606 | Immiscible is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21595-21595 | Miscible is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | People.kif 724-724 | Non denominational individual is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17742-17742 | Pliable is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17755-17755 | Rigid is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 363-363 | Vacuum is an instance of internal attribute |
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. | People.kif 674-674 | The range of Belief group member fn is an instance of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | Algebro differential attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | Autonomous is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | Backlashless is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | Biodiversity attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18023-18023 | Biological attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19664-19664 | Breakability attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | Brushless is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1860-1860 | Device state attribute is a subclass of internal attribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | Equation attribute is a subclass of internal attribute |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |