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

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 3.0 is open source software produced by Articulate Software and its partners