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 825-825	Physique est une sous-classe de entit�
(subclass Object Physical)	Merge.kif 839-839	Objet est une sous-classe de physique
(subclass Collection Physical)	Merge.kif 1256-1256	Collection est une sous-classe de physique
(subclass ContentBearingPhysical Physical)	Merge.kif 1299-1299	ContentBearingPhysical est une sous-classe de physique
(subclass Process Physical)	Merge.kif 1617-1617	Processus est une sous-classe de physique
(subclass PhysicalSystem Physical)	Merge.kif 6131-6131	PhysicalSystem est une sous-classe de physique
(subclass FinancialAsset Physical)	FinancialOntology.kif 43-43	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