Telephone |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2953-2957 | |
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 2952-2952 | Telephone est une sous-classe de CommunicationDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2951-2951 | Telephone est une sous-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24573-24573 | Telephone est une sous-classe de TelephonyDevice |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25059-25059 | FixedPhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25062-25062 | MobileCellPhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25069-25069 | SatellitePhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26265-26265 | TDDPhone est une sous-classe de Telephone |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57290-57290 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57289-57289 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57288-57288 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3681-3681 | Le nombre 2 argument de phoneNumber est une instance de Telephone |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25006-25013 |
|
consequent |