validityPeriod - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - validityPeriod

validityPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 234-236
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 239-239	The number 1 argument of validity period is an instance of pricing scheme
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 240-240	The number 2 argument of validity period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 233-233	validity period is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4916-4916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4915-4915
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4914-4914
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 237-237

antecedent

No TPTP formula. May not be expressible in strict first order.

Catalog.kif 372-387

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 during a time interval,
then the statement
- if a third entity is an instance of selling and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity,
- then the currency measure is a transaction amount of the third entity
has the modal force of likely holds during the time interval

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