TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Selling ChineseLanguage "这是一种 FinancialTransaction，它发生在当一样 Physical 的实例，用来换取一种 CurrencyMeasure 实例的时候。 ")	chinese_format.kif 3109-3110
(documentation Selling EnglishLanguage "A FinancialTransaction in which an instance of Physical is exchanged for an instance of CurrencyMeasure.")	Merge.kif 11735-11736
(subclass Selling FinancialTransaction)	Merge.kif 11734-11734	subclass Selling and FinancialTransaction

appearance as argument number 2

(relatedInternalConcept Buying Selling)	Merge.kif 11724-11724	relatedInternalConcept Buying and Selling
(subclass Auctioning Selling)	UXExperimentalTerms.kif 411-411	subclass Auctioning and Selling
(termFormat ChineseLanguage Selling "出售")	chinese_format.kif 1143-1143
(termFormat EnglishLanguage Selling "selling")	english_format.kif 1503-1503

antecedent

(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2040-2061	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Selling and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure bidPrice Security, MeasureFn RealNumber and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThanOrEqualTo RealNumber and RealNumber holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally SymbolicStringingTime and Agent and Agreement
(=> (and (instance ?SALES Collection) (forall (?MEMBER) (=> (member ?MEMBER ?SALES) (instance ?MEMBER Selling))) (exists (?REGION) (and (instance ?REGION GeopoliticalArea) (forall (?SELLER ?SELLING) (=> (and (instance ?SELLER Agent) (instance ?SELLING Buying) (member ?SELLING ?SALES) (agent ?SELLING ?SELLER)) (located ?SELLER ?REGION)))))) (and (total (KappaFn ?AMOUNT (and (instance ?SALE Selling) (member ?SALE ?SALES) (transactionAmount ?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT) (equal (GMVFn ?SALES) ?TOTAL_SALE_AMOUNT)))	UXExperimentalTerms.kif 3206-3232	instance Collection and Collection Physical member Physical and Collection instance Physical and Selling Object instance Object and GeopoliticalArea Agent Process instance Agent and Agent instance Process and Buying member Process and Collection agent Process and Agent located Agent and Object total KappaFn SymbolicString and instance entity and Selling member entity and Collection transactionAmount entity and SymbolicString and entity_SALE_AMOUNT equal GMVFn Collection and entity_SALE_AMOUNT
(=> (and (instance ?SELL Selling) (agent ?SELL ?AGENT)) (origin ?SELL ?AGENT))	Merge.kif 11764-11768	instance Process and Selling agent Process and Agent origin Process and Agent
(=> (and (instance ?TRANS Selling) (attribute ?TRANS CBT) (patient ?TRANS ?OBJ) (instance ?OBJ Object)) (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION) (and (instance ?BUYER Agent) (instance ?SELLER Agent) (destination ?TRANS ?BUYER) (agent ?TRANS ?SELLER) (instance ?BUYER_LOCATION GeopoliticalArea) (instance ?SELLER_LOCATION GeopoliticalArea) (located ?SELLER ?SELLER_LOCATION) (located ?BUYER ?BUYER_LOCATION) (not (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 2031-2048	instance Object and Selling attribute Object and CBT patient Object and Entity instance Entity and Object Agent Physical, Physical_LOCATION and Agent_LOCATION instance Physical and Agent instance Agent and Agent destination Object and Physical agent Object and Agent instance Physical_LOCATION and GeopoliticalArea instance Agent_LOCATION and GeopoliticalArea located Agent and Agent_LOCATION located Physical and Physical_LOCATION equal Physical_LOCATION and Agent_LOCATION

consequent

(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2040-2061	attribute FinancialTransaction and LimitOrder partyToAgreement FinancialTransaction and Agreement attribute Agreement and Broker orderFor FinancialTransaction, Selling and Security measure Security and PhysicalQuantity limitPrice FinancialTransaction and MeasureFn RealNumber and UnitOfMeasure bidPrice Security, MeasureFn RealNumber and UnitOfMeasure and Agent instance UnitOfMeasure and UnitOfCurrency greaterThanOrEqualTo RealNumber and RealNumber holdsObligation KappaFn SymbolicString and instance SymbolicString and Selling patient SymbolicString and Security measure Security and PhysicalQuantity equal WhenFn SymbolicString and SymbolicStringingTime overlapsTemporally SymbolicStringingTime and Agent and Agreement
(=> (and (attribute ?X DutyFree) (instance ?X Store)) (forall (?OBJ) (=> (and (instance ?SELL Selling) (patient ?SELL ?OBJ) (located ?SELL ?X) (instance ?OBJ Product)) (attribute ?OBJ DutyFree))))	Hotel.kif 1454-1465	attribute Object and DutyFree instance Object and Store Object instance Process and Selling patient Process and Object located Process and Object instance Object and Product attribute Object and DutyFree
(=> (and (equal ?X (ASPFn ?SELLINGS)) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling))	UXExperimentalTerms.kif 3484-3488	equal CurrencyMeasure and ASPFn Collection member Physical and Collection instance Physical and Selling
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (during (WhenFn ?SELLING) ?INT))))	UXExperimentalTerms.kif 3790-3799	firstTimeSellers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Selling agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite during WhenFn FinancialTransaction and TimeInterval
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (earlier (WhenFn ?SELLING) ?INT)))))	UXExperimentalTerms.kif 3801-3811	firstTimeSellers TimeInterval, WebSite and Collection member Agent and Collection FinancialTransaction instance FinancialTransaction and Selling agent FinancialTransaction and Agent eCommerceSite FinancialTransaction and WebSite earlier WhenFn FinancialTransaction and TimeInterval
(=> (and (instance ?BUY Buying) (agent ?BUY ?AGENT1) (origin ?BUY ?AGENT2) (patient ?BUY ?OBJECT)) (exists (?SELL) (and (instance ?SELL Selling) (agent ?SELL ?AGENT2) (destination ?SELL ?AGENT1) (patient ?SELL ?OBJECT))))	Merge.kif 11751-11762	instance Process and Buying agent Process and Agent origin Process and Agent patient Process and Entity Process instance Process and Selling agent Process and Agent destination Process and Agent patient Process and Entity
(=> (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (property ?Option PutOption) (time ?Exercise ?Time) (underlier ?Option ?Stocks)) (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Stocks) (time ?Sell ?Time) (measure ?Stocks (MeasureFn 100 ShareUnit)))))	FinancialOntology.kif 2775-2787	instance Process and ExerciseAnOption patient Process and Agreement property Agreement and PutOption time Process and TimePosition underlier Agreement and FinancialInstrument Process instance Process and Selling patient Process and FinancialInstrument time Process and TimePosition measure FinancialInstrument and MeasureFn 100 and ShareUnit
(=> (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 3683-3715	instance TimeInterval and TimeInterval instance WebSite and WebSite Collection instance Collection and Collection Agent member Agent and Collection TimeInterval instance Agent and Agent instance TimeInterval and Selling agent TimeInterval and Agent instrument TimeInterval and WebSite during TimeInterval and TimeInterval TimeInterval_BEFORE instance TimeInterval_BEFORE and TimeInterval earlier TimeInterval_BEFORE and TimeInterval holdsDuring TimeInterval_BEFORE and TimeInterval_BEFORE instance TimeInterval_BEFORE and Selling agent TimeInterval_BEFORE and Agent instrument TimeInterval_BEFORE and WebSite during TimeInterval_BEFORE and TimeInterval equal SiteWideNewSellersFn TimeInterval and WebSite and Collection
(=> (and (instance ?ORG Organization) (attribute ?ORG AgricultureForestryFishingAndHunting)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?EV ?MEM) (exists (?THING ?EV2 ?MEM2) (and (or (instance ?EV Killing) (instance ?EV Maintaining)) (patient ?EV ?THING) (or (instance ?THING Animal) (instance ?THING Plant)) (not (instance ?THING Human)) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 50-72	instance Collection and Organization attribute Collection and AgricultureForestryFishingAndHunting Process Agent member Agent and Collection agent Process and Agent Entity Process and Agent instance Process and Killing instance Process and Maintaining patient Process and Entity instance Entity and Animal instance Entity and Plant instance Entity and Human member Agent and Collection instance Process and Selling agent Process and Agent patient Process and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG AirTransportationIndustry)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?FLY ?PLANE) (and (instance ?FLY Transportation) (or (patient ?FLY ?P) (and (possesses ?P ?OBJ) (patient ?FLY ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?PLANE) (instance ?PLANE Aircraft))) ?MEM ?P))))))	naics.kif 7953-7978	instance Collection and Organization attribute Collection and AirTransportationIndustry Agent Process member Process and Collection agent Process and Agent CognitiveAgent instance Agent and Selling instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity CognitiveAgentLANE instance entity and Transportation patient entity and CognitiveAgent possesses CognitiveAgent and entity patient entity and entity instance entity and Object possesses Collection and CognitiveAgentLANE instance CognitiveAgentLANE and Aircraft, Process and CognitiveAgent
(=> (and (instance ?ORG Organization) (attribute ?ORG ApparelManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Clothing) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 2194-2210	instance Collection and Organization attribute Collection and ApparelManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Clothing patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG BeverageAndTobaccoProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Beverage) (instance ?THING TobaccoProduct)) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 1837-1855	instance Collection and Organization attribute Collection and BeverageAndTobaccoProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Beverage instance Entity and TobaccoProduct patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Object) (or (capability Constructing resource ?THING) (capability Agriculture resource ?THING)) (patient ?EV ?THING))))))	naics.kif 7242-7257	instance Collection and Organization attribute Collection and BuildingMaterialAndGardenEquipmentAndSuppliesDealers Agent Process member Process and Collection agent Process and Agent Object instance Agent and Selling instance Object and Object capability Constructing, resource and Object capability Agriculture, resource and Object patient Agent and Object
(=> (and (instance ?ORG Organization) (attribute ?ORG ChemicalManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING PureSubstance) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 3125-3141	instance Collection and Organization attribute Collection and ChemicalManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and PureSubstance patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG ClothingAndClothingAccessoriesStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Clothing) (patient ?EV ?THING))))))	naics.kif 7509-7521	instance Collection and Organization attribute Collection and ClothingAndClothingAccessoriesStores Agent Process member Process and Collection agent Process and Agent Entity instance Agent and Selling instance Entity and Clothing patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG ComputerAndElectronicProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (or (instance ?THING Computer) (and (instance ?THING Machine) (exists (?EV3) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity))))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5126-5150	instance Collection and Organization attribute Collection and ComputerAndElectronicProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Computer instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG Construction)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Constructing) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 1080-1095	instance Collection and Organization attribute Collection and Construction Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Constructing patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG CouriersAndMessengers)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P ?OBJ) (and (instance ?EV Selling) (instance ?OBJ Object) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS) (and (instance ?TRANS Transportation) (possesses ?P ?OBJ) (patient ?TRANS ?OBJ))) ?MEM ?P))))))	naics.kif 8736-8756	instance Collection and Organization attribute Collection and CouriersAndMessengers Agent Process member Process and Collection agent Process and Agent CognitiveAgent Entity instance Agent and Selling instance Entity and Object instance CognitiveAgent and Human patient Agent and CognitiveAgent confersRight entity instance entity and Transportation possesses CognitiveAgent and Entity patient entity and Entity, Process and CognitiveAgent
(=> (and (instance ?ORG Organization) (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (and (instance ?THING Machine) (exists (?EV3) (and (patient ?EV3 ?THING) (resource ?EV3 ?ELEC) (instance ?ELEC Electricity)))) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5421-5443	instance Collection and Organization attribute Collection and ElectricalEquipmentApplianceAndComponentManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Machine Agent patient Agent and Entity resource Agent and Object instance Object and Electricity patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG ElectronicsAndApplianceStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING ElectricDevice) (patient ?EV ?THING))))))	naics.kif 7186-7198	instance Collection and Organization attribute Collection and ElectronicsAndApplianceStores Agent Process member Process and Collection agent Process and Agent Entity instance Agent and Selling instance Entity and ElectricDevice patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG FabricatedMetalProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Metal) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 4225-4241	instance Collection and Organization attribute Collection and FabricatedMetalProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Metal patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING))))))	naics.kif 7319-7333	instance Collection and Organization attribute Collection and FoodAndBeverageStores Agent Process member Process and Collection agent Process and Agent Entity instance Agent and Selling instance Entity and FoodForFn Animal instance Entity and Beverage patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Cooking) (instance ?EV Manufacture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 1361-1377	instance Collection and Organization attribute Collection and FoodManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Cooking instance Agent and Manufacture patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndHomeFurnishingsStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING Furniture) (patient ?EV ?THING))))))	naics.kif 7125-7137	instance Collection and Organization attribute Collection and FurnitureAndHomeFurnishingsStores Agent Process member Process and Collection agent Process and Agent Entity instance Agent and Selling instance Entity and Furniture patient Agent and Entity
(=> (and (instance ?ORG Organization) (attribute ?ORG FurnitureAndRelatedProductManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Manufacture) (instance ?THING Furniture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING))))))	naics.kif 5994-6010	instance Collection and Organization attribute Collection and FurnitureAndRelatedProductManufacturing Agent Process member Process and Collection agent Process and Agent Entity Process and Agent instance Agent and Manufacture instance Entity and Furniture patient Agent and Entity member Process and Collection instance Agent and Selling agent Agent and Process patient Agent and Entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: