telephoneNumber |
appearance as argument number 1 |
(documentation telephoneNumber EnglishLanguage "(%&telephoneNumber ?NUMBER ?AGENT) means that ?AutonomousAgent identifies a TelecomeNumber at which ?AutonomousAgent can be contacted") | Mid-level-ontology.kif 24988-24989 | |
(domain telephoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 24986-24986 | 电话号码 的 1 数量 是 TelecomNumber 的 instance |
(domain telephoneNumber 2 AutonomousAgent) | Mid-level-ontology.kif 24987-24987 | 电话号码 的 2 数量 是 施事体 的 instance |
(instance telephoneNumber AsymmetricRelation) | Mid-level-ontology.kif 24985-24985 | 电话号码 是 非对称关系 的 instance |
(instance telephoneNumber BinaryPredicate) | Mid-level-ontology.kif 24984-24984 | 电话号码 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage telephoneNumber "%1 是 %2 的 telephone number ") | domainEnglishFormat.kif 4766-4766 | |
(format ChineseTraditionalLanguage telephoneNumber "%1 是 %2 的 telephone number ") | domainEnglishFormat.kif 4765-4765 | |
(format EnglishLanguage telephoneNumber "%1 is the telephone number of %2") | domainEnglishFormat.kif 4764-4764 | |
(subrelation homePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25020-25020 | homePhoneNumber 是 电话号码 的 subrelation |
(subrelation mobilePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25120-25120 | mobilePhoneNumber 是 电话号码 的 subrelation |
(subrelation personalPhoneNumber telephoneNumber) | Mid-level-ontology.kif 25000-25000 | personalPhoneNumber 是 电话号码 的 subrelation |
(subrelation workPhoneNumber telephoneNumber) | Mid-level-ontology.kif 25050-25050 | workPhoneNumber 是 电话号码 的 subrelation |
(termFormat ChineseLanguage telephoneNumber "电话号码") | domainEnglishFormat.kif 57320-57320 | |
(termFormat ChineseTraditionalLanguage telephoneNumber "電話號碼") | domainEnglishFormat.kif 57319-57319 | |
(termFormat EnglishLanguage telephoneNumber "telephone number") | domainEnglishFormat.kif 57318-57318 |
antecedent |
consequent |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25007-25014 | |
(=> (and (instance ?X TelephoneCommunication) (attribute ?X Local)) (exists (?TEL1 ?TEL2 ?ORIGIN ?DEST ?CODE) (and (origin ?X ?ORIGIN) (destination ?X ?DEST) (telephoneNumber ?TEL1 ?ORIGIN) (telephoneNumber ?TEL2 ?DEST) (telecomAreaCode ?CODE ?TEL1) (telecomAreaCode ?CODE ?TEL2)))) |
Mid-level-ontology.kif 27107-27118 |
|