PhysicalAttribute - Sigma Knowledge base Browser

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	物理属性是内在属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 696-696	合规是物理属性的 instance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 674-674	电导率是物理属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12631-12631	易燃的是物理属性的 instance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 684-684	电感是物理属性的 instance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 689-689	互感是物理属性的 instance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 680-680	抵抗力是物理属性的 instance
No TPTP formula. May not be expressible in strict first order.	engineering.kif 693-693	刚性是物理属性的 instance
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