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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TemporalCompositionFn
TemporalCompositionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2819-2822
No TPTP formula. May not be expressible in strict first order. Merge.kif 9280-9285
No TPTP formula. May not be expressible in strict first order. Merge.kif 9277-9277 The number 1 argument of temporal composition is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9278-9278 The number 2 argument of temporal composition is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9275-9275 Temporal composition is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 9274-9274 Temporal composition is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9276-9276 Temporal composition is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9279-9279 The values returned by temporal composition are subclasses of time interval

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 447-447
No TPTP formula. May not be expressible in strict first order. english_format.kif 453-453
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 448-448
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57401-57401
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57400-57400
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57399-57399

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9320-9325
No TPTP formula. May not be expressible in strict first order. Merge.kif 9313-9318
No TPTP formula. May not be expressible in strict first order. Merge.kif 9351-9361
No TPTP formula. May not be expressible in strict first order. Merge.kif 9299-9311
No TPTP formula. May not be expressible in strict first order. Merge.kif 9287-9297
No TPTP formula. May not be expressible in strict first order. Merge.kif 9327-9337
No TPTP formula. May not be expressible in strict first order. Merge.kif 9339-9349

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9367-9371
No TPTP formula. May not be expressible in strict first order. Merge.kif 9377-9379
No TPTP formula. May not be expressible in strict first order. Merge.kif 9381-9383
No TPTP formula. May not be expressible in strict first order. Merge.kif 9385-9387
No TPTP formula. May not be expressible in strict first order. Merge.kif 9373-9375
No TPTP formula. May not be expressible in strict first order. Merge.kif 9363-9365


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