Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AddressFn
AddressFn

appearance as argument number 1
-------------------------


(documentation AddressFn EnglishLanguage "(AddressFn ?FILE) returns as its value the physical address of the ComputerFile ?FILE.") QoSontology.kif 220-221
(domain AddressFn 1 ComputerFile) QoSontology.kif 218-218 The number 1 argument of address is an instance of computer file
(instance AddressFn UnaryFunction) QoSontology.kif 217-217 Address is an instance of unary function
(range AddressFn PhysicalAddress) QoSontology.kif 219-219 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 5429-5429 "地址" is the printable form of address in ChineseLanguage
(termFormat ChineseTraditionalLanguage AddressFn "地址") domainEnglishFormat.kif 5428-5428 "地址" is the printable form of address in ChineseTraditionalLanguage
(termFormat EnglishLanguage AddressFn "address") domainEnglishFormat.kif 5427-5427 "address" is the printable form of address in english language

consequent
-------------------------


(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 226-231


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners