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 9398-9403
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 9395-9395 域 時間構成, 1 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9396-9396 域子類 時間構成, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9393-9393 例 時間構成 and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 9392-9392 例 時間構成 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9394-9394 例 時間構成 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9397-9397 範圍子類 時間構成 and TimeInterval

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 9438-9443
No TPTP formula. May not be expressible in strict first order. Merge.kif 9431-9436
No TPTP formula. May not be expressible in strict first order. Merge.kif 9469-9479
No TPTP formula. May not be expressible in strict first order. Merge.kif 9417-9429
No TPTP formula. May not be expressible in strict first order. Merge.kif 9405-9415
No TPTP formula. May not be expressible in strict first order. Merge.kif 9445-9455
No TPTP formula. May not be expressible in strict first order. Merge.kif 9457-9467

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9485-9489
No TPTP formula. May not be expressible in strict first order. Merge.kif 9495-9497
No TPTP formula. May not be expressible in strict first order. Merge.kif 9499-9501
No TPTP formula. May not be expressible in strict first order. Merge.kif 9503-9505
No TPTP formula. May not be expressible in strict first order. Merge.kif 9491-9493
No TPTP formula. May not be expressible in strict first order. Merge.kif 9481-9483


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