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 26273-26275 | |
(domain faxNumber 1 TelecomNumber) | Mid-level-ontology.kif 26271-26271 | The number 1 argument of fax number is an instance of telecom number |
(domain faxNumber 2 AutonomousAgent) | Mid-level-ontology.kif 26272-26272 | The number 2 argument of fax number is an instance of agent |
(instance faxNumber AsymmetricRelation) | Mid-level-ontology.kif 26270-26270 | fax number is an instance of asymmetric relation |
(instance faxNumber BinaryPredicate) | Mid-level-ontology.kif 26269-26269 | 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 26286-26291 |
|
consequent |
![]() |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 26277-26284 |
|
![]() |
![]() |