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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebSite
WebSiteinternet_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 1492-1496
No TPTP formula. May not be expressible in strict first order. Media.kif 1497-1497 WebSite is a subclass of digital data

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3285-3285 IBookstore is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2833-2833 Blog is a subclass of WebSite
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2837-2837 Wiki is a subclass of WebSite

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1178-1178 The number 2 argument of sellers items is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1213-1213 The number 2 argument of sellers other items is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3571-3571 The number 2 argument of new buyers is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3623-3623 The number 2 argument of site-wide new registrations is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3670-3670 The number 2 argument of site-wide new sellers is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 776-776 The number 2 argument of account at site is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 240-240 The number 2 argument of advertised on is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 917-917 The number 3 argument of browser identifier string is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 225-225 The number 2 argument of category of is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1090-1090 The number 2 argument of confirmed registed user is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1912-1912 The number 2 argument of eCommerceSite is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3722-3722 The number 2 argument of first time buyers is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3770-3770 The number 2 argument of first time buyers is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2174-2174 The number 2 argument of homepage is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 150-150 The number 2 argument of hosted on is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3818-3818 The number 2 argument of new registered users is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 490-490 The number 2 argument of prohibited item is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1051-1051 The number 2 argument of registered user is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2439-2439 The number 2 argument of site catalog is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1264-1264 The number 2 argument of underageUser is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2370-2370 The number 2 argument of user database is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1361-1361 The number 3 argument of visitor profile parameter is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1441-1441 The number 3 argument of watching listings is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1017-1017 The number 3 argument of web purchases is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1112-1112 The number 3 argument of web sales is an instance of WebSite

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 1187-1203
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1228-1255
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3581-3613
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3633-3660
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3680-3712
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 44-50
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2271-2282
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 105-117
No TPTP formula. May not be expressible in strict first order. Media.kif 1498-1503

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1522-1538
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3052-3076
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1932-1951
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1964-1983
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1996-2015
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1811-1827
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 271-280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 338-358
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 37-42
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1336-1347
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2332-2337


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