Sigma KB Term Intersection

(=> (and (instance ?B Buying) (patient ?B ?ITEM) (origin ?B ?AGENT) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validPaymentType ?PS ?PAY)) (modalAttribute (exists (?PAYMENT) (and (instance ?PAYMENT ?PAY) (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	Processus est une instance de acheter entit� est un patient de processus processus a pour origine agent cognitif publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validPaymentType PricingScheme and Payment l'argument PaymentMENT PaymentMENT est une instance de Payment PaymentMENT est un sous-processus de processus a la force modale de Likely
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validityPeriod ?PS ?TIMEINT)) (holdsDuring ?TIMEINT (modalAttribute (=> (and (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?ITEM)) (transactionAmount ?S ?PRICE)) Likely)))	Catalog.kif 372-387	publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validityPeriod PricingScheme and interval temporel l'argument entit� est une instance de vendre entit� est un agent de agent cognitif entit� est un patient de entit� transactionAmount entit� and mesure de devise a la force modale de Likely pendant interval temporel
(=> (and (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (unitPrice ?ENT ?QUANT ?AGENT ?PS)) (subclass ?ENT Physical) (immediateInstance ?ITEM ?ENT) (validFor ?PS ?CUSTCLASS) (instance ?CUSTOMER ?CUSTCLASS)) (modalAttribute (=> (and (instance ?B Buying) (agent ?B ?CUSTOMER) (origin ?B ?AGENT) (patient ?B ?ITEM)) (transactionAmount ?B ?PRICE)) Likely))	Catalog.kif 354-370	publishedPrice entit�, mesure de devise, agent cognitif and PricingScheme unitPrice entit�, function de quantit�, agent cognitif and PricingScheme entit� est une sous-classe de physique entit� est une instance imm�diate de entit� validFor PricingScheme and AutonomousAgent entit� est une instance de AutonomousAgent l'argument entit� est une instance de acheter entit� est un agent de entit� entit� a pour origine agent cognitif entit� est un patient de entit� transactionAmount entit� and mesure de devise a la force modale de Likely
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?OBJ ?CATALOG) (subclass ?OBJ Physical)) (modalAttribute (exists (?S ?X) (and (instance ?X ?OBJ) (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?X))) Possibility))	Catalog.kif 51-62	offers AutonomousAgent and Catalog catalogItem entit� and Catalog entit� est une sous-classe de physique l'argument entit� entit� entit� est une instance de entit� entit� est une instance de vendre entit� est un agent de AutonomousAgent entit� est un patient de entit� a la force modale de Possibility
(subclass Physical Entity)	Merge.kif 832-832	Physique est une sous-classe de entit�
(subclass Object Physical)	Merge.kif 846-846	Objet est une sous-classe de physique
(subclass ContentBearingPhysical Physical)	Merge.kif 1304-1304	ContentBearingPhysical est une sous-classe de physique
(subclass Process Physical)	Merge.kif 1622-1622	Processus est une sous-classe de physique
(subclass PhysicalSystem Physical)	Merge.kif 6121-6121	PhysicalSystem est une sous-classe de physique
(subclass FinancialAsset Physical)	FinancialOntology.kif 41-41	FinancialAsset est une sous-classe de physique

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