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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalAttribute

Sigma KEE - InternalAttribute
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


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 3.0 is open source software produced by Articulate Software and its partners