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 12585-12585 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 45720-45720
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45719-45719
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45718-45718


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