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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternetServiceProvider
InternetServiceProvider(internet service provider)

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


s__documentation(s__InternetServiceProvider,s__EnglishLanguage,'"An InternetServiceProvider serves as an engineeringSubcomponent of the Internet for a given area."')

Communications.kif 444-446
s__engineeringSubcomponent(s__InternetServiceProvider,s__Internet)

Communications.kif 443-443 Internet service provider is a component of internet
s__externalImage(s__InternetServiceProvider,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2a/ Bombay14.jpg"')

pictureList.kif 8546-8546
s__externalImage(s__InternetServiceProvider,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ bb/ Aolbeverlyhillsoffice.jpg"')

pictureList.kif 9341-9341
s__instance(s__InternetServiceProvider,s__Class)

s__instance(s__CommunicationSystem,s__Class)

s__subclass(s__InternetServiceProvider,s__CommunicationSystem)

Communications.kif 442-442 Internet service provider is a subclass of communication system

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


s__termFormat(s__ChineseLanguage,s__InternetServiceProvider,'"互联网服务提供商"')

domainEnglishFormat.kif 30714-30714
s__termFormat(s__ChineseTraditionalLanguage,s__InternetServiceProvider,'"互聯網服務提供商"')

domainEnglishFormat.kif 30713-30713
s__termFormat(s__EnglishLanguage,s__InternetServiceProvider,'"internet service provider"')

domainEnglishFormat.kif 30712-30712

antecedent
-------------------------


( ! [V__PART] :
   ((s__instance(V__PART,s__InternetServiceProvider) =>
       (s__engineeringSubcomponent(V__PART,s__Internet)))
     )
   )

Communications.kif 447-449

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1356-1363


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