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数字数据subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4676-4676 EBayWebSiteWebSiteinstance
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3295-3295 IBookstoreWebSiteinstance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5600-5600 OthenaWebSiteinstance
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3098-3098 RedditWebSiteinstance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2871-2871 BlogWebSitesubclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1512-1512 SocialNetworkingSiteWebSitesubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4610-4610 ToutiaoWebSitesubclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2875-2875 WikiWebSitesubclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4626-4626 YouTubeWebSitesubclass
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 SellersItemsFn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1018-1018 SellersOtherItemsFn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3366-3366 SiteWideNewBuyersFn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3418-3418 SiteWideNewRegistrationsFn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3465-3465 SiteWideNewSellersFn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 627-627 accountAtSite 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 185-185 advertisedOn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 734-734 browserID 的 3 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 177-177 categoryOf 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 895-895 confirmedRegisteredUser 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1707-1707 eCommerceSite 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3517-3517 firstTimeBuyers 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3565-3565 firstTimeSellers 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1968-1968 homePage 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 119-119 hostedOn 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3613-3613 newRegisteredUsers 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-393 prohibitedItem 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 856-856 registeredUser 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2233-2233 siteCatalog 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1069-1069 underageUser 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2164-2164 userDatabase 的 2 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1165-1165 visitorParameter 的 3 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1245-1245 watchingListings 的 3 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 823-823 webPurchases 的 3 数量 是 WebSiteinstance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 917-917 webSales 的 3 数量 是 WebSiteinstance

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