validFor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - validFor

validFor

appearance as argument number 1

(documentation validFor EnglishLanguage "(validFor ?SCHEME ?AGENT) means that CurrencyMeasure that PricingScheme refers to applies to AutonomousAgent ?AGENT")	Catalog.kif 226-227
(domain validFor 1 PricingScheme)	Catalog.kif 230-230	The number 1 argument of valid for is an instance of pricing scheme
(domainSubclass validFor 2 AutonomousAgent)	Catalog.kif 231-231	The number 2 argument of valid for is a subclass of agent
(instance validFor BinaryPredicate)	Catalog.kif 225-225	valid for is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage validFor "%1 是 valid 对于 %2 ")	domainEnglishFormat.kif 4908-4908
(format ChineseTraditionalLanguage validFor "%1 是 valid 對於 %2 ")	domainEnglishFormat.kif 4907-4907
(format EnglishLanguage validFor "%1 is valid for %2")	domainEnglishFormat.kif 4906-4906
(termFormat EnglishLanguage validFor "valid for")	Catalog.kif 228-228

antecedent

(=> (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	If the price of a kind of entity from a cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is a kind of entity and the kind of entity is a subclass of physical and another entity is an immediate instance of the kind of entity and the pricing scheme is valid for a kind of agent and a third entity is an instance of a kind of agent, then the statement if a fourth entity is an instance of buying and the third entity is an agent of the fourth entity and the fourth entity originates at the cognitive agent and the other entity is a patient of the fourth entity, then the currency measure is a transaction amount of the fourth entity has the modal force of likely
(=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely))	Catalog.kif 430-445	If a cognitive agent sells a kind of entity for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the price of a kind of entity from the cognitive agent according to a pricing scheme is another real number the unit of measure(s) and the pricing scheme is valid for a kind of agent and another entity is an instance of the kind of entity and a process is an instance of buying and another agent is an immediate instance of a kind of agent and the other agent is an agent of the process and the process originates at the cognitive agent and the other real number is less than the real number, then the statement the real number is a transaction amount of the process has the modal force of likely

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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