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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhysicalAttribute

 Sigma KEE - PhysicalAttribute
PhysicalAttribute(physical attribute)Bauhaus, Byzantine_architecture, English-Gothic, English-Gothic_architecture, Gothic, Gothic_architecture, Greco-Roman_architecture, Greek_architecture, Moorish, Moorish_architecture, Norman_architecture, Roman_architecture, Romanesque, Romanesque_architecture, Tudor_architecture, Victorian_architecture, accommodate, admit, afford, ballistic_trajectory, ballistics, be, beetle, border, bound, breast, bridge, bridge_over, carry, classical_architecture, clean, clearance, come, command, complect, conductance, connect, contain, converge, crash, crowd, crown, delimit, deluge, dominate, draw, exposure, extend, face, fill...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1723-1724
No TPTP formula. May not be expressible in strict first order. Merge.kif 1812-1813
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 330-331
No TPTP formula. May not be expressible in strict first order. Merge.kif 1810-1810 Physical attribute is a subclass of internal attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 696-696 Compliance is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 674-674 Conductivity is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 12631-12631 Flammable is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 684-684 Inductance is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 689-689 Mutual inductance is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 680-680 Resistivity is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. engineering.kif 693-693 Stiffness is an instance of physical attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45722-45722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45721-45721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45720-45720


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