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 1746-1748
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11254-11254
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11253-11253
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11258-11258
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11257-11257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11256-11256
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10081-10081
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11260-11260
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11259-11259
No TPTP formula. May not be expressible in strict first order. Merge.kif 1744-1744 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 742-742 AcidicPH is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. People.kif 709-709 Agnostic is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. People.kif 727-727 Atheist is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18976-18976 Chemical equilibrium is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. People.kif 747-747 Deist is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28803-28803 DeviceDamaged is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28778-28778 DeviceNormal is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. People.kif 734-734 Non denominational individual is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17473-17473 Pliable is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17486-17486 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 1642-1642 Attribute is exhaustively partitioned into internal attribute and relational attribute
No TPTP formula. May not be expressible in strict first order. People.kif 684-684 The range of BeliefGroupMemberFn is an instance of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 228-228 Algebro differential attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 722-722 Autonomous is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 708-708 Backlashless is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. Geography.kif 2603-2603 Biodiversity attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17754-17754 Biological attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19014-19014 Breakability attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 712-712 Brushless is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1815-1815 Device state attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 208-208 Equation attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 44-44 Lexicon category is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18601-18601 Linguistic attribute is a subclass of internal attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 318-318 Multipole 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