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 3281-3281 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 1176-1176 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 1211-1211 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 3569-3569 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 3621-3621 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 3668-3668 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 774-774 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 915-915 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 1088-1088 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 1910-1910 The number 2 argument of eCommerceSite is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3720-3720 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 3768-3768 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 2172-2172 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 3816-3816 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 488-488 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 1049-1049 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 2437-2437 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 1262-1262 The number 2 argument of underageUser is an instance of WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2368-2368 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 1359-1359 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 1439-1439 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 1015-1015 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 1110-1110 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 1185-1201
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1226-1253
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3579-3611
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3631-3658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3678-3710
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 2269-2280
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 1520-1536
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3050-3074
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1930-1949
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1962-1981
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1994-2013
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1809-1825
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 269-278
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 336-356
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 1334-1345
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2330-2335


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