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 3664-3666
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3658-3658	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 3660-3660	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 3656-3656	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 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.	domainEnglishFormat.kif 4472-4472
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3662-3662

consequent

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

UXExperimentalTerms.kif 3668-3704

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 a physical
- if the physical is a member of the collection,
- then the physical is an instance of accessing web page
and for all a process, an agent,, , another process,, , the process and an object
- if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process,
- then the process is a member of the other collection
,
then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that equal purchases made in the collection during the time interval and the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other 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