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 26823-26825 | |
(domain faxNumber 1 TelecomNumber) | Mid-level-ontology.kif 26821-26821 | The number 1 argument of fax number is an instance of telecom number |
(domain faxNumber 2 AutonomousAgent) | Mid-level-ontology.kif 26822-26822 | The number 2 argument of fax number is an instance of agent |
(instance faxNumber AsymmetricRelation) | Mid-level-ontology.kif 26820-26820 | fax number is an instance of asymmetric relation |
(instance faxNumber BinaryPredicate) | Mid-level-ontology.kif 26819-26819 | fax number is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3424-3424 | |
(format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3423-3423 | |
(format EnglishLanguage faxNumber "the fax number of %2 is %1") | domainEnglishFormat.kif 3422-3422 | |
(termFormat EnglishLanguage faxNumber "fax number") | domainEnglishFormat.kif 65861-65861 |
antecedent |
![]() |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 26836-26841 |
|
consequent |
![]() |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26827-26834 |
|
![]() |
![]() |