TreeView Knowledge Base Browser

appearance as argument number 1

(documentation WebSite EnglishLanguage "An instance of WebSite is a body of ComputerData that can be accessed at a specific virtual location identified by a UniformResourceLocator and rendered as WebPages by a web browser.")	Media.kif 1492-1496
(subclass WebSite DigitalData)	Media.kif 1497-1497	WebSite is a subclass of digital data

appearance as argument number 2

(instance IBookstore WebSite)	ComputingBrands.kif 3281-3281	IBookstore is an instance of WebSite
(subclass Blog WebSite)	ComputerInput.kif 2833-2833	Blog is a subclass of WebSite
(subclass Wiki WebSite)	ComputerInput.kif 2837-2837	Wiki is a subclass of WebSite

appearance as argument number 3

(domain SellersItemsFn 2 WebSite)	UXExperimentalTerms.kif 1178-1178	The number 2 argument of sellers items is an instance of WebSite
(domain SellersOtherItemsFn 2 WebSite)	UXExperimentalTerms.kif 1213-1213	The number 2 argument of sellers other items is an instance of WebSite
(domain SiteWideNewBuyersFn 2 WebSite)	UXExperimentalTerms.kif 3571-3571	The number 2 argument of new buyers is an instance of WebSite
(domain SiteWideNewRegistrationsFn 2 WebSite)	UXExperimentalTerms.kif 3623-3623	The number 2 argument of site-wide new registrations is an instance of WebSite
(domain SiteWideNewSellersFn 2 WebSite)	UXExperimentalTerms.kif 3670-3670	The number 2 argument of site-wide new sellers is an instance of WebSite
(domain accountAtSite 2 WebSite)	UXExperimentalTerms.kif 776-776	The number 2 argument of account at site is an instance of WebSite
(domain advertisedOn 2 WebSite)	UXExperimentalTerms.kif 240-240	The number 2 argument of advertised on is an instance of WebSite
(domain browserID 3 WebSite)	UXExperimentalTerms.kif 917-917	The number 3 argument of browser identifier string is an instance of WebSite
(domain categoryOf 2 WebSite)	UXExperimentalTerms.kif 225-225	The number 2 argument of category of is an instance of WebSite
(domain confirmedRegisteredUser 2 WebSite)	UXExperimentalTerms.kif 1090-1090	The number 2 argument of confirmed registed user is an instance of WebSite
(domain eCommerceSite 2 WebSite)	UXExperimentalTerms.kif 1912-1912	The number 2 argument of eCommerceSite is an instance of WebSite
(domain firstTimeBuyers 2 WebSite)	UXExperimentalTerms.kif 3722-3722	The number 2 argument of first time buyers is an instance of WebSite
(domain firstTimeSellers 2 WebSite)	UXExperimentalTerms.kif 3770-3770	The number 2 argument of first time buyers is an instance of WebSite
(domain homePage 2 WebSite)	UXExperimentalTerms.kif 2174-2174	The number 2 argument of homepage is an instance of WebSite
(domain hostedOn 2 WebSite)	UXExperimentalTerms.kif 150-150	The number 2 argument of hosted on is an instance of WebSite
(domain newRegisteredUsers 2 WebSite)	UXExperimentalTerms.kif 3818-3818	The number 2 argument of new registered users is an instance of WebSite
(domain prohibitedItem 2 WebSite)	UXExperimentalTerms.kif 490-490	The number 2 argument of prohibited item is an instance of WebSite
(domain registeredUser 2 WebSite)	UXExperimentalTerms.kif 1051-1051	The number 2 argument of registered user is an instance of WebSite
(domain siteCatalog 2 WebSite)	UXExperimentalTerms.kif 2439-2439	The number 2 argument of site catalog is an instance of WebSite
(domain underageUser 2 WebSite)	UXExperimentalTerms.kif 1264-1264	The number 2 argument of underageUser is an instance of WebSite
(domain userDatabase 2 WebSite)	UXExperimentalTerms.kif 2370-2370	The number 2 argument of user database is an instance of WebSite
(domain visitorParameter 3 WebSite)	UXExperimentalTerms.kif 1361-1361	The number 3 argument of visitor profile parameter is an instance of WebSite
(domain watchingListings 3 WebSite)	UXExperimentalTerms.kif 1441-1441	The number 3 argument of watching listings is an instance of WebSite
(domain webPurchases 3 WebSite)	UXExperimentalTerms.kif 1017-1017	The number 3 argument of web purchases is an instance of WebSite
(domain webSales 3 WebSite)	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

(=> (and (instance ?AGENT Agent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL))))	UXExperimentalTerms.kif 1187-1203	If an agent is an instance of agent and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all a web listing if the web listing is an instance of web listing and the web listing is hosted on the WebSite and the agent sells the web listing, then the web listing is a member of the collection and items for sale by the agent at the WebSite is equal to the collection
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT Agent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM) (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL))) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL))	UXExperimentalTerms.kif 1228-1255	If a collection is an instance of collection and a WebSite is an instance of WebSite and an agent is an instance of agent and a web listing is an instance of web listing and a time point is an instance of time point and the agent sells the web listing and the web listing is not a member of the collection and for all an object if the object is an instance of web listing and the object is a member of items for sale by the agent at the WebSite and the time point is a part of the time of existence of the object and the object is not equal to the web listing, then the object is a member of the collection and for all another object if the other object is a member of the collection, then the time point is a part of the time of existence of the object and the other object is an instance of web listing , then things for sale by the agent not listed in the web listing at the WebSite during the time point is equal to the collection
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT Agent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS))))	UXExperimentalTerms.kif 3581-3613	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of buying and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of buying and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new buyers at the WebSite during the time interval is equal to the collection
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE)))))	UXExperimentalTerms.kif 3633-3660	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an object if the object is an instance of human and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and the object is a registered user of the WebSite holds during the time interval_BEFORE and there exists the time interval_DURING such that the time interval_DURING is an instance of time interval and the time interval_DURING takes place during the time interval and the object is a registered user of the WebSite holds during the time interval, then the object is a member of the collection and the collection is equal to new registrations at the WebSite during the time interval
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT Agent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS))))	UXExperimentalTerms.kif 3680-3712	If a time interval is an instance of time interval and a WebSite is an instance of WebSite, then there exists a collection such that the collection is an instance of collection and for all an agent if the agent is a member of the collection, then there exists another time interval such that the agent is an instance of agent and the other time interval is an instance of selling and the agent is an agent of the other time interval and the WebSite is an instrument for the other time interval and the other time interval takes place during the time interval and there doesn't exist the time interval_BEFORE such that the time interval_BEFORE is an instance of time interval and the time interval_BEFORE happens earlier than the time interval and there exists the other time interval_BEFORE such that the other time interval_BEFORE is an instance of selling and the agent is an agent of the other time interval_BEFORE and the WebSite is an instrument for the other time interval_BEFORE and the other time interval_BEFORE takes place during the time interval holds during the time interval_BEFORE and new sellers at the WebSite during the time interval is equal to the collection
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE))	UXExperimentalTerms.kif 44-50	If an agent is an instance of web listing and a WebSite is an instance of WebSite and the agent is hosted on the WebSite and the agent created a human, then the human is a seller at the WebSite
(=> (and (instance ?PAGE ViewItemPage) (instance ?SITE WebSite) (component ?PAGE ?SITE)) (exists (?ITEM ?ADVERTISING) (and (instance ?ITEM Object) (instance ?ADVERTISING WebListing) (component ?ADVERTISING ?PAGE) (hostedOn ?ADVERTISING ?SITE) (patient ?ADVERTISING ?ITEM))))	UXExperimentalTerms.kif 2271-2282	If a corpuscular object is an instance of next generation view item and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite, then there exist an entity and a web listing such that the entity is an instance of object and the web listing is an instance of web listing and the web listing is a component of the corpuscular object and the web listing is hosted on the WebSite and the entity is a patient of the web listing
(=> (and (listingBuyer ?LISTING ?BUYER) (instance ?OBJ Object) (instance ?SITE WebSite) (patient ?LISTING ?OBJECT) (hostedOn ?LISTING ?SITE)) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?OBJ) (eCommerceSite ?BUYING ?SITE) (agent ?BUYING ?BUYER))))	UXExperimentalTerms.kif 105-117	If an agent buys a web listing and an entity is an instance of object and a WebSite is an instance of WebSite and the entityECT is a patient of the web listing and the web listing is hosted on the WebSite, then there exists a financial transaction such that the financial transaction is an instance of buying and the entity is a patient of the financial transaction and the WebSite facilitates the financial transaction and the agent is an agent of the financial transaction
(=> (instance ?SITE WebSite) (exists (?PAGE) (and (instance ?PAGE WebPage) (component ?PAGE ?SITE))))	Media.kif 1498-1503	If a corpuscular object is an instance of WebSite, then there exists another corpuscular object such that the other corpuscular object is an instance of WebPage and the other corpuscular object is a component of the corpuscular object

consequent

(=> (and (instance ?ATC AddToCart) (instance ?OBJ Object) (patient ?ATC ?OBJ) (agent ?ATC ?USER)) (exists (?COLL ?SITE ?AFTER) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (webcart ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?ATC)) (holdsDuring ?AFTER (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1522-1538	If a time interval is an instance of add to cart and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and a time position such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent at the WebSite has cart the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
(=> (and (instance ?COLL Collection) (forall (?MEMBER) (=> (member ?MEMBER ?COLL) (instance ?MEMBER WebListing)))) (equal (DivisionFn (CardinalityFn (KappaFn ?LISTING (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (instance ?ITEM Physical) (member ?LISTING ?COLL) (patient ?LISTING ?ITEM) (hostedOn ?LISTING ?SITE) (exists (?BUYING) (and (instance ?BUYING Buying) (patient ?BUYING ?ITEM) (eCommerceSite ?BUYING ?SITE)))))) (CardinalityFn ?COLL)) (BidCountFn ?COLL)))	UXExperimentalTerms.kif 3052-3076	If a collection is an instance of collection and for all an object if the object is a member of the collection, then the object is an instance of web listing , then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToBusiness)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACC1 BusinessAccount) (attribute ?ACC2 BusinessAccount))))	UXExperimentalTerms.kif 1932-1951	If an object is an instance of financial transaction and business to business transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a WebSite such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and business account is an attribute of a third object
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS BusinessToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 BusinessAccount) (attribute ?ACCOUNT2 ConsumerAccount))))	UXExperimentalTerms.kif 1964-1983	If an object is an instance of financial transaction and business to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a WebSite such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the WebSite and the other user account is an account at the WebSite and business account is an attribute of another object and consumer account is an attribute of a third object
(=> (and (instance ?TRANS FinancialTransaction) (attribute ?TRANS ConsumerToConsumer)) (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE) (and (instance ?ACCT1 UserAccount) (instance ?ACCT2 UserAccount) (instance ?USER1 Agent) (instance ?USER2 Agent) (instance ?SITE WebSite) (agent ?TRANS ?USER1) (destination ?TRANS ?USER2) (instrument ?TRANS ?SITE) (hasAccount ?USER1 ?ACCT1) (hasAccount ?USER2 ?ACCT2) (accountAtSite ?ACCT1 ?SITE) (accountAtSite ?ACCT2 ?SITE) (attribute ?ACCOUNT1 ConsumerAccount) (attribute ?ACCOUNT2 ConsumerAccount))))	UXExperimentalTerms.kif 1996-2015	If an object is an instance of financial transaction and consumer to consumer transaction is an attribute of the object, then there exist an user account, another user account,, , an agent,, , another agent and a WebSite such that the user account is an instance of user account and the other user account is an instance of user account and the agent is an instance of agent and the other agent is an instance of agent and the WebSite is an instance of WebSite and the agent is an agent of the object and the object ends up at the other agent and the WebSite is an instrument for the object and the agent has account the user account and the other agent has account the other user account and the user account is an account at the WebSite and the other user account is an account at the WebSite and consumer account is an attribute of another object and consumer account is an attribute of a third object
(=> (and (instance ?WATCH WatchItem) (instance ?OBJ Object) (patient ?WATCH ?OBJ) (agent ?WATCH ?USER)) (exists (?COLL ?SITE ?AFTER) (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?INTERVAL TimeInterval) (watchingListings ?USER ?COLL ?SITE) (equal (BeginFn ?INTERVAL) (EndFn ?WATCH)) (holdsDuring ?AFTER (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1811-1827	If a time interval is an instance of watch item and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a WebSite and a time position such that the collection is an instance of collection and the WebSite is an instance of WebSite and another time interval is an instance of time interval and user the agent on the WebSite is watching the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
(=> (instance ?CHARGE InsertionFee) (exists (?SITE ?OWNER ?ADVERT) (and (instance ?SITE WebSite) (instance ?OWNER Agent) (instance ?ADVERT WebListing) (hostedOn ?ADVERT ?SITE) (possesses ?OWNER ?SITE) (agent ?CHARGE ?OWNER))))	UXExperimentalTerms.kif 271-280	If a process is an instance of insertion fee, then there exist a WebSite, an agent and a web listing such that the WebSite is an instance of WebSite and the agent is an instance of agent and the web listing is an instance of web listing and the web listing is hosted on the WebSite and the agent possesses the WebSite and the agent is an agent of the process
(=> (instance ?LIST ListOnSite) (exists (?SITE ?ADVERT ?EARLIER ?AFTER) (and (instance ?SITE WebSite) (instance ?ADVERT WebListing) (instance ?EARLIER TimeInterval) (instance ?AFTER TimeInterval) (patient ?LIST ?ADVERT) (equal (EndFn ?EARLIER) (EndFn ?LIST)) (earlier ?LIST ?AFTER) (meetsTemporally ?LIST ?AFTER) (holdsDuring ?EARLIER (not (hostedOn ?ADVERT ?SITE))) (holdsDuring ?AFTER (hostedOn ?ADVERT ?SITE)) (agent ?LIST ?OWNER) (possesses ?OWNER ?SITE))))	UXExperimentalTerms.kif 338-358	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval and a third time interval such that the object is an instance of WebSite and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and an agent is an agent of the time interval and the agent possesses the object
(=> (instance ?LISTING WebListing) (exists (?SITE) (and (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE))))	UXExperimentalTerms.kif 37-42	If a web listing is an instance of web listing, then there exists a WebSite such that the WebSite is an instance of WebSite and the web listing is hosted on the WebSite
(=> (instance ?PROFILE VisitorProfile) (exists (?USER ?SITE) (and (instance ?USER Agent) (instance ?SITE WebSite) (forall (?FORMULA) (=> (and (member ?FORMULA ?PROFILE) (instance ?FORMULA Formula)) (visitorParameter ?USER ?FORMULA ?SITE))))))	UXExperimentalTerms.kif 1336-1347	If a collection is an instance of visitor profile, then there exist an agent and a WebSite such that the agent is an instance of agent and the WebSite is an instance of WebSite and for all a formula if the formula is a member of the collection and the formula is an instance of formula, then the formula is known about the agent who visits the WebSite
(=> (instance ?STORE WebStore) (exists (?SITE) (and (instance ?SITE WebSite) (component ?STORE ?SITE))))	UXExperimentalTerms.kif 2332-2337	If a corpuscular object is an instance of web store, then there exists another corpuscular object such that the other corpuscular object is an instance of WebSite and the corpuscular object is a component of the other corpuscular object

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

KB Term:			Term intersection

English Word: