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 12585-12585	易燃的是物理属性的 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 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