IntervalFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - IntervalFn

IntervalFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2464-2467
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6273-6279
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6268-6268	The number 1 argument of interval is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6269-6269	The number 2 argument of interval is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6266-6266	Interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6267-6267	Interval is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6270-6270	The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6271-6271	Interval is internally related to recurrent time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 651-651
No TPTP formula. May not be expressible in strict first order.	english_format.kif 657-657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30682-30682
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 652-652
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30681-30681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30680-30680

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6288-6292	A quantity is an instance of the interval from a constant quantity to another constant quantity if and only if the quantity is greater than or equal to the constant quantity and the quantity is less than or equal to the other constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6281-6286	If an entity is an instance of the interval from a constant quantity to another constant quantity and the constant quantity is an instance of a set or class and the other constant quantity is an instance of the set or class, then the entity is an instance of the set or class

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 538-543	If an entity is an instance of human baby holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 341-346	If an entity is an instance of human adult holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 18 year duration(s) to 120 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 454-459	If an entity is an instance of human child holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 14 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 410-415	If an entity is an instance of human youth holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 17 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 483-488	If an entity is an instance of teenager holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 13 year duration(s) to 19 year duration(s)

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