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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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