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
(instance AddressFn UnaryFunction) QoSontology.kif 217-217
(range AddressFn PhysicalAddress) QoSontology.kif 219-219

appearance as argument number 2
-------------------------


(format EnglishLanguage AddressFn "the address of %1") domainEnglishFormat.kif 23-23
(termFormat EnglishLanguage AddressFn "address") domainEnglishFormat.kif 1338-1338

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