|
|
   Telephone
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2946-2950 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 774-774 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2945-2945 | 电话 是 通讯设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2944-2944 | 电话 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24631-24631 | 电话 是 TelephonyDevice 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25117-25117 | FixedPhone 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25120-25120 | 移动手机 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25127-25127 | SatellitePhone 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26310-26310 | TDDPhone 是 电话 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57292-57292 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57291-57291 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57290-57290 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3681-3681 | 电话号码 的 2 数量 是 电话 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25064-25071 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 40-45 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2959-2964 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3630-3641 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27060-27071 |
|
|
|
|
