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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ipAddressOf

 Sigma KEE - ipAddressOf
ipAddressOf

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


(documentation ipAddressOf EnglishLanguage "(ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the IPAddress of the computer ?HOST.") QoSontology.kif 752-753
(domain ipAddressOf 1 Computer) QoSontology.kif 750-750
(domain ipAddressOf 2 IPAddress) QoSontology.kif 751-751
(instance ipAddressOf BinaryPredicate) QoSontology.kif 749-749

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


(format EnglishLanguage ipAddressOf "%2 is %n an ip address of of %1") domainEnglishFormat.kif 356-356
(termFormat EnglishLanguage ipAddressOf "ip address of") domainEnglishFormat.kif 5573-5573


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners