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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 538-543
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 341-346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 454-459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 410-415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 483-488


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