telecomContactDevice |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24862-24865 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24860-24860 | telecomContactDevice 的 1 数量 是 TelephonyDevice 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24861-24861 | telecomContactDevice 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24858-24858 | telecomContactDevice 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24859-24859 | telecomContactDevice 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24866-24866 | telecomContactDevice 是 siteForContact 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4750-4750 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4749-4749 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4748-4748 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65953-65953 |