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 223-224
(domain AddressFn 1 ComputerFile)	QoSontology.kif 221-221	domain AddressFn, 1 and ComputerFile
(instance AddressFn UnaryFunction)	QoSontology.kif 220-220	instance AddressFn and UnaryFunction
(range AddressFn PhysicalAddress)	QoSontology.kif 222-222	range AddressFn and 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 5429-5429
(termFormat ChineseTraditionalLanguage AddressFn "地址")	domainEnglishFormat.kif 5428-5428
(termFormat EnglishLanguage AddressFn "address")	domainEnglishFormat.kif 5427-5427

consequent

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

QoSontology.kif 229-234