Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| faxNumber |
| appearance as argument number 1 |
|
| (instance faxNumber BinaryPredicate) | Mid-level-ontology.kif 27470-27470 | fax number is an instance of binary predicate |
| (instance faxNumber AsymmetricRelation) | Mid-level-ontology.kif 27471-27471 | fax number is an instance of asymmetric relation |
| (domain faxNumber 1 TelecomNumber) | Mid-level-ontology.kif 27472-27472 | The number 1 argument of fax number is an instance of telecom number |
| (domain faxNumber 2 AutonomousAgent) | Mid-level-ontology.kif 27473-27473 | The number 2 argument of fax number is an instance of agent |
| (documentation faxNumber EnglishLanguage "(faxNumber ?TelecomNumber ?AutonomousAgent) means that ?TelecomNumber identifies a FaxMachine at which ?AutonomousAgent can be contacted.") | Mid-level-ontology.kif 27474-27476 | The number 2 argument of fax number is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage faxNumber "the fax number of %2 is %1") | domainEnglishFormat.kif 3422-3422 | |
| (format ChineseTraditionalLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3423-3423 | |
| (format ChineseLanguage faxNumber "%2 的 fax number 是 %1 ") | domainEnglishFormat.kif 3424-3424 | |
| (termFormat EnglishLanguage faxNumber "fax number") | domainEnglishFormat.kif 65840-65840 |
| antecedent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 27487-27492 | If X has number Y and the fax number of Z is Y holds during W, then X is an instance of fax machine |
| consequent |
|
|
| (=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27478-27485 | If X is an instance of fax machine and X has number Y and Z possesses X holds during W, then the fax number of Z is Y holds during W |
|