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 26816-26818 | |
(domain faxNumber 1 TelecomNumber) | Mid-level-ontology.kif 26814-26814 | The number 1 argument of fax number is an instance of telecom number |
(domain faxNumber 2 AutonomousAgent) | Mid-level-ontology.kif 26815-26815 | The number 2 argument of fax number is an instance of agent |
(instance faxNumber AsymmetricRelation) | Mid-level-ontology.kif 26813-26813 | fax number is an instance of asymmetric relation |
(instance faxNumber BinaryPredicate) | Mid-level-ontology.kif 26812-26812 | 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 65831-65831 |
antecedent |
![]() |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 26829-26834 |
|
consequent |
![]() |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26820-26827 |
|
![]() |
![]() |