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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebSite

 Sigma KEE - WebSite
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 WebSite est une sous-classe de DigitalData

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4676-4676 EBayWebSite est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3295-3295 IBookstore est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5600-5600 Othena est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3098-3098 Reddit est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2871-2871 Blog est une sous-classe de WebSite
No TPTP formula. May not be expressible in strict first order. Media.kif 1512-1512 SocialNetworkingSite est une sous-classe de WebSite
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4610-4610 Toutiao est une sous-classe de WebSite
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2875-2875 Wiki est une sous-classe de WebSite
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4626-4626 YouTube est une sous-classe de WebSite
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 Le nombre 2 argument de SellersItemsFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1018-1018 Le nombre 2 argument de SellersOtherItemsFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3366-3366 Le nombre 2 argument de SiteWideNewBuyersFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3418-3418 Le nombre 2 argument de SiteWideNewRegistrationsFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3465-3465 Le nombre 2 argument de SiteWideNewSellersFn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-627 Le nombre 2 argument de accountAtSite est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 185-185 Le nombre 2 argument de advertisedOn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 734-734 Le nombre 3 argument de browserID est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 177-177 Le nombre 2 argument de categoryOf est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 895-895 Le nombre 2 argument de confirmedRegisteredUser est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1707-1707 Le nombre 2 argument de eCommerceSite est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3517-3517 Le nombre 2 argument de firstTimeBuyers est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3565-3565 Le nombre 2 argument de firstTimeSellers est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1968-1968 Le nombre 2 argument de homePage est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 119-119 Le nombre 2 argument de hostedOn est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3613-3613 Le nombre 2 argument de newRegisteredUsers est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-393 Le nombre 2 argument de prohibitedItem est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 856-856 Le nombre 2 argument de registeredUser est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2233-2233 Le nombre 2 argument de siteCatalog est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1069-1069 Le nombre 2 argument de underageUser est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2164-2164 Le nombre 2 argument de userDatabase est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1165-1165 Le nombre 3 argument de visitorParameter est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1245-1245 Le nombre 3 argument de watchingListings est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 823-823 Le nombre 3 argument de webPurchases est une instance de WebSite
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 917-917 Le nombre 3 argument de webSales est une instance de 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 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 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 3.0 is open source software produced by Articulate Software and its partners