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	Wenn Process ist ein fall von Buying %n{nicht} und Entity ist ein patient von Process %n{nicht} und Process beginnet an CognitiveAgent %n{nicht} und publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validPaymentType PricingScheme and Payment, dann die Aussage es gibt PaymentMENT um PaymentMENT ist ein fall von Payment %n{nicht} und PaymentMENT ist ein subProzess von Process hat die modale Kraft von 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	Wenn publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validityPeriod PricingScheme and TimeInterval, dann die Aussage wenn entity ist ein fall von Selling %n{nicht} und entity ist der agent von CognitiveAgent %n{nicht} und Entity ist ein patient von entity %n{nicht}, dann transactionAmount entity and CurrencyMeasure hat die modale Kraft von Likely haelt waehrend TimeInterval %n{nicht}
(=> (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	Wenn publishedPrice Entity, CurrencyMeasure, CognitiveAgent and PricingScheme oder unitPrice Entity, FunctionQuantity, CognitiveAgent and PricingScheme und Entity ist eine teilkategorie von Physical und Entity ist ein direkter fall von Entity und validFor PricingScheme and AutonomousAgent und Entity ist ein fall von AutonomousAgent %n{nicht}, dann die Aussage wenn entity ist ein fall von Buying %n{nicht} und entity ist der agent von Entity %n{nicht} und entity beginnet an CognitiveAgent %n{nicht} und Entity ist ein patient von entity %n{nicht}, dann transactionAmount entity and CurrencyMeasure hat die modale Kraft von 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	Wenn offers AutonomousAgent and Catalog und catalogItem Entity and Catalog und Entity ist eine teilkategorie von Physical, dann die Aussage es gibt entity und entity um entity ist ein fall von Entity %n{nicht} und entity ist ein fall von Selling %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und entity ist ein patient von entity %n{nicht} hat die modale Kraft von Possibility
(subclass Physical Entity)	Merge.kif 832-832	Physical ist eine teilkategorie von Entity
(subclass Object Physical)	Merge.kif 846-846	Object ist eine teilkategorie von Physical
(subclass ContentBearingPhysical Physical)	Merge.kif 1304-1304	ContentBearingPhysical ist eine teilkategorie von Physical
(subclass Process Physical)	Merge.kif 1622-1622	Process ist eine teilkategorie von Physical
(subclass PhysicalSystem Physical)	Merge.kif 6121-6121	PhysicalSystem ist eine teilkategorie von Physical
(subclass FinancialAsset Physical)	FinancialOntology.kif 41-41	FinancialAsset ist eine teilkategorie von Physical

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