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 6154-6160
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6149-6149	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 6150-6150	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 6147-6147	Interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6148-6148	Interval is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6151-6151	The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6152-6152	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 30667-30667	"间隔" is the printable form of interval in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 652-652	"间隔函数" is the printable form of interval in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30666-30666	"間隔" is the printable form of interval in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30665-30665	"interval" is the printable form of interval in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6169-6173	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 6162-6167	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners