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	AddressFn の数値 1 引数は ComputerFile の instance では %n
(instance AddressFn UnaryFunction)	QoSontology.kif 222-222	AddressFn は 1変数関数の instance では %n
(range AddressFn PhysicalAddress)	QoSontology.kif 224-224	AddressFn の range は PhysicalAddress のインスタンスでは %n

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 231-236