SCRFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SCRFn

SCRFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3867-3869
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3861-3861	The number 1 argument of sales conversion rate is an instance of collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3863-3863	The number 2 argument of sales conversion rate is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3859-3859	Sales conversion rate is an instance of binary function

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4475-4475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4474-4474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4473-4473
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3865-3865

consequent

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

UXExperimentalTerms.kif 3871-3906

If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all an object
- if the object is a member of the collection,
- then the object is an instance of AccessingWebPage
and for all a process, an agent,, , another object,, , the process and a third object
- if the agent is an instance of human and the process is an instance of buying and the other object is an instance of AccessingWebPage and the third object is an instance of WebPage and the other object is a member of the collection and the other object ends up at the third object and the agent is an agent of the process and the agent is an agent of the other object and the time of existence of the process takes place during the time of existence of the other object and the third object is an instrument for the process,
- then the process is a member of the other collection
,
then purchases made in the collection during a time interval is equal to the number of instances in the class described by an entity_IN_INTERVAL and the number of instances in the class described by another entity_IN_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