Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AddressFn |
| appearance as argument number 1 |
|
| (instance AddressFn UnaryFunction) | QoSontology.kif 217-217 | Address is an instance of unary function |
| (domain AddressFn 1 ComputerFile) | QoSontology.kif 218-218 | The number 1 argument of address is an instance of computer file |
| (range AddressFn PhysicalAddress) | QoSontology.kif 219-219 | The range of address is an instance of physical address |
| (documentation AddressFn EnglishLanguage "(AddressFn ?FILE) returns as its value the physical address of the ComputerFile ?FILE.") | QoSontology.kif 220-221 | The range of address is an instance of physical address |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage AddressFn "the address of %1") | domainEnglishFormat.kif 54-54 | |
| (format ChineseTraditionalLanguage AddressFn "%1 的 address") | domainEnglishFormat.kif 55-55 | |
| (format ChineseLanguage AddressFn "%1 的 address") | domainEnglishFormat.kif 56-56 | |
| (termFormat EnglishLanguage AddressFn "address") | domainEnglishFormat.kif 5431-5431 | |
| (termFormat ChineseTraditionalLanguage AddressFn "地址") | domainEnglishFormat.kif 5432-5432 | |
| (termFormat ChineseLanguage AddressFn "地址") | domainEnglishFormat.kif 5433-5433 |
| consequent |
|
|
| (=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory)) |
QoSontology.kif 226-231 | If X is an instance of computer directory, Y is an instance of computer file, and X is a directory of Y, then the address of Y includes a reference to X |
|