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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebSite
WebSite(web site)internet_site, portal, portal_site, site, web_site, website

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1489-1493
No TPTP formula. May not be expressible in strict first order. Media.kif 1494-1494 Web site is a subclass of digital data

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4676-4676 EBay web site is an instance of web site
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3295-3295 IBookstore is an instance of web site
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5600-5600 Othena is an instance of web site
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3098-3098 Reddit is an instance of web site
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2871-2871 Blog is a subclass of web site
No TPTP formula. May not be expressible in strict first order. Media.kif 1512-1512 Social networking site is a subclass of web site
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4610-4610 Toutiao is a subclass of web site
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2875-2875 Wiki is a subclass of web site
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4626-4626 YouTube is a subclass of web site
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65725-65725

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 983-983 The number 2 argument of sellers items is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1018-1018 The number 2 argument of sellers other items is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3366-3366 The number 2 argument of new buyers is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3418-3418 The number 2 argument of site-wide new registrations is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3465-3465 The number 2 argument of site-wide new sellers is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-627 The number 2 argument of account at site is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 185-185 The number 2 argument of advertised on is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 734-734 The number 3 argument of browser identifier string is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 177-177 The number 2 argument of category of is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 895-895 The number 2 argument of confirmed registed user is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1707-1707 The number 2 argument of e-commerce site is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3517-3517 The number 2 argument of first time buyers is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3565-3565 The number 2 argument of first time buyers is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1968-1968 The number 2 argument of homepage is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 119-119 The number 2 argument of hosted on is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3613-3613 The number 2 argument of new registered users is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-393 The number 2 argument of prohibited item is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 856-856 The number 2 argument of registered user is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2233-2233 The number 2 argument of site catalog is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1069-1069 The number 2 argument of underage user is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2164-2164 The number 2 argument of user database is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1165-1165 The number 3 argument of visitor profile parameter is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1245-1245 The number 3 argument of watching listings is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 823-823 The number 3 argument of web purchases is an instance of web site
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 917-917 The number 3 argument of web sales is an instance of web site

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 992-1008
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3376-3408
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3428-3455
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3475-3507
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 39-45
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2830-2844
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2065-2076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 86-98
No TPTP formula. May not be expressible in strict first order. Media.kif 1495-1500

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1326-1342
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2845-2870
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1727-1746
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1759-1778
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1791-1810
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1605-1621
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 209-218
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 266-286
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 32-37
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1140-1151
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2126-2131


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