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 24987-24988 | |
(domain telephoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 24985-24985 | 域 電話號碼, 1 and TelecomNumber |
(domain telephoneNumber 2 AutonomousAgent) | Mid-level-ontology.kif 24986-24986 | 域 電話號碼, 2 and AutonomousAgent |
(instance telephoneNumber AsymmetricRelation) | Mid-level-ontology.kif 24984-24984 | 例 電話號碼 and AsymmetricRelation |
(instance telephoneNumber BinaryPredicate) | Mid-level-ontology.kif 24983-24983 | 例 電話號碼 and BinaryPredicate |
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 25019-25019 | 子關係 homePhoneNumber and 電話號碼 |
(subrelation mobilePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25119-25119 | 子關係 mobilePhoneNumber and 電話號碼 |
(subrelation personalPhoneNumber telephoneNumber) | Mid-level-ontology.kif 24999-24999 | 子關係 personalPhoneNumber and 電話號碼 |
(subrelation workPhoneNumber telephoneNumber) | Mid-level-ontology.kif 25049-25049 | 子關係 workPhoneNumber and 電話號碼 |
(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 25006-25013 | |
(=> (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 27095-27106 |
|