Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntervalFn

Sigma KEE - IntervalFn
IntervalFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6770-6773
No TPTP formula. May not be expressible in strict first order. Merge.kif 6763-6769
No TPTP formula. May not be expressible in strict first order. Merge.kif 6759-6759 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 6760-6760 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 6757-6757 Interval is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 6758-6758 Interval is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 6761-6761 The values returned by interval are subclasses of constant quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 6762-6762 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 403-403
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 5544-5544 "interval" is the printable form of interval in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6782-6786 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 6775-6780

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 539-544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 455-460
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 411-416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 484-489


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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