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	The number 1 argument of address is an instance of computer file
(instance AddressFn UnaryFunction)	QoSontology.kif 222-222	Address is an instance of unary function
(range AddressFn PhysicalAddress)	QoSontology.kif 224-224	The range of address is an instance of physical address

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 5433-5433
(termFormat ChineseTraditionalLanguage AddressFn "地址")	domainEnglishFormat.kif 5432-5432
(termFormat EnglishLanguage AddressFn "address")	domainEnglishFormat.kif 5431-5431

consequent

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

QoSontology.kif 231-236