Siemens
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2550-2552 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6963-6967 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1252-1254 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6960-6960 | 西门子 是 CompositeUnitOfMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6961-6961 | 西门子 是 国际单位制 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52970-52970 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52969-52969 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52968-52968 |