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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsIraqKuwaitBoundaryDemarcationCommission

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 225-226
(domain AddressFn 1 ComputerFile) QoSontology.kif 223-223 The number 1 argument of address is an instance of computer file
(instance AddressFn UnaryFunction) QoSontology.kif 222-222 Address is an instance of unary function
(range AddressFn PhysicalAddress) QoSontology.kif 224-224 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 5424-5424
(termFormat ChineseTraditionalLanguage AddressFn "地址") domainEnglishFormat.kif 5423-5423
(termFormat EnglishLanguage AddressFn "address") domainEnglishFormat.kif 5422-5422

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


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


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

Show without tree


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