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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemporalCompositionFn

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 9376-9381
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1560-1564
No TPTP formula. May not be expressible in strict first order. Merge.kif 9373-9373 时间分拆函数 的 1 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9374-9374 时间分拆函数 的 2 数量 是 时距subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 9371-9371 时间分拆函数二元函数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9370-9370 时间分拆函数时间关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9372-9372 时间分拆函数总值关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 9375-9375 时间分拆函数 的所得值 是 时距subclass

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. french_format.kif 260-260
No TPTP formula. May not be expressible in strict first order. relations-it.txt 293-293
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2050-2050
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 212-212
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 266-266
No TPTP formula. May not be expressible in strict first order. relations-de.txt 583-583
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 329-329
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 281-281
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 286-286
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 57434-57434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57433-57433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57432-57432

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9416-9421
No TPTP formula. May not be expressible in strict first order. Merge.kif 9409-9414
No TPTP formula. May not be expressible in strict first order. Merge.kif 9447-9457
No TPTP formula. May not be expressible in strict first order. Merge.kif 9395-9407
No TPTP formula. May not be expressible in strict first order. Merge.kif 9383-9393
No TPTP formula. May not be expressible in strict first order. Merge.kif 9423-9433
No TPTP formula. May not be expressible in strict first order. Merge.kif 9435-9445

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9463-9467
No TPTP formula. May not be expressible in strict first order. Merge.kif 9473-9475
No TPTP formula. May not be expressible in strict first order. Merge.kif 9477-9479
No TPTP formula. May not be expressible in strict first order. Merge.kif 9481-9483
No TPTP formula. May not be expressible in strict first order. Merge.kif 9469-9471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9459-9461


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