WireLine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3623-3623 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3622-3622 | 电线 是 工程组件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3621-3621 | 电线 是 线 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3633-3633 | 电话线 是 电线 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63237-63237 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63236-63236 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63235-63235 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3625-3631 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1403-1408 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 78-87 |
|
No TPTP formula. May not be expressible in strict first order. | Communications.kif 95-107 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25919-25927 | |
No TPTP formula. May not be expressible in strict first order. | Communications.kif 64-71 |