AddressFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AddressFn EnglishLanguage "(AddressFn ?FILE) returns as its value the physical address of the ComputerFile ?FILE.")	QoSontology.kif 225-226
(domain AddressFn 1 ComputerFile)	QoSontology.kif 223-223	Il numero 1 argomenti di AddressFn è un istanza di ComputerFile
(instance AddressFn UnaryFunction)	QoSontology.kif 222-222	AddressFn è un' istanza di FunzioneUnaria
(range AddressFn PhysicalAddress)	QoSontology.kif 224-224	rango di AddressFn è un'istanza di PhysicalAddress

appearance as argument number 2

(format ChineseLanguage AddressFn "%1 的 address")	domainEnglishFormat.kif 56-56
(format ChineseTraditionalLanguage AddressFn "%1 的 address")	domainEnglishFormat.kif 55-55
(format EnglishLanguage AddressFn "the address of %1")	domainEnglishFormat.kif 54-54
(termFormat ChineseLanguage AddressFn "地址")	domainEnglishFormat.kif 5424-5424
(termFormat ChineseTraditionalLanguage AddressFn "地址")	domainEnglishFormat.kif 5423-5423
(termFormat EnglishLanguage AddressFn "address")	domainEnglishFormat.kif 5422-5422

consequent

(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))

QoSontology.kif 231-236