faxNumber |
appearance as argument number 1 |
(documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.") | Mid-level-ontology.kif 25211-25213 | |
(domain faxNumber 1 TelecomNumber) | Mid-level-ontology.kif 25209-25209 | 域 faxNumber, 1 and TelecomNumber |
(domain faxNumber 2 AutonomousAgent) | Mid-level-ontology.kif 25210-25210 | 域 faxNumber, 2 and AutonomousAgent |
(instance faxNumber AsymmetricRelation) | Mid-level-ontology.kif 25208-25208 | 例 faxNumber and AsymmetricRelation |
(instance faxNumber BinaryPredicate) | Mid-level-ontology.kif 25207-25207 | 例 faxNumber and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3426-3426 | |
(format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3425-3425 | |
(format EnglishLanguage faxNumber "the fax number of %2 is %1") | domainEnglishFormat.kif 3424-3424 | |
(termFormat EnglishLanguage faxNumber "fax number") | domainEnglishFormat.kif 65829-65829 |
antecedent |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25224-25229 |
consequent |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25215-25222 |