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 226-227
(domain AddressFn 1 ComputerFile)	QoSontology.kif 224-224	AddressFn の数値 1 引数は ComputerFile の instance では
(instance AddressFn UnaryFunction)	QoSontology.kif 223-223	AddressFn は 1変数関数の instance では
(range AddressFn PhysicalAddress)	QoSontology.kif 225-225	AddressFn の range は 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 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 232-237