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 226-227
(domain AddressFn 1 ComputerFile) QoSontology.kif 224-224 AddressFn の数値 1 引数は ComputerFileinstance では
(instance AddressFn UnaryFunction) QoSontology.kif 223-223 AddressFn1変数関数instance では
(range AddressFn PhysicalAddress) QoSontology.kif 225-225 AddressFnrangePhysicalAddress のインスタンス では

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


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 3.0 is open source software produced by Articulate Software and its partners