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

Formal Language: 



KB Term:  Term intersection
English Word: 

  temporallyBetween

 Sigma KEE - temporallyBetween
temporallyBetween

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2711-2713
No TPTP formula. May not be expressible in strict first order. Merge.kif 8187-8190
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1435-1437
No TPTP formula. May not be expressible in strict first order. Merge.kif 8183-8183 O argumento numero 1 de temporallyBetween e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order. Merge.kif 8184-8184 O argumento numero 2 de temporallyBetween e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order. Merge.kif 8185-8185 O argumento numero 3 de temporallyBetween e' uma instancia de Ponto no tempo
No TPTP formula. May not be expressible in strict first order. Merge.kif 8181-8181 temporallyBetween e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 8179-8179 temporallyBetween e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8180-8180 temporallyBetween e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order. Merge.kif 8182-8182 temporallyBetween e' uma sub-relacao de temporallyBetweenOrEqual

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 427-427
No TPTP formula. May not be expressible in strict first order. english_format.kif 433-433
No TPTP formula. May not be expressible in strict first order. french_format.kif 248-248
No TPTP formula. May not be expressible in strict first order. relations-it.txt 294-294
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2042-2042
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 200-200
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 253-253
No TPTP formula. May not be expressible in strict first order. relations-de.txt 556-556
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 330-330
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 269-269
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 271-271
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 486-486
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57440-57440
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 428-428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57439-57439
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57438-57438

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8192-8196

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8198-8202
No TPTP formula. May not be expressible in strict first order. Merge.kif 7915-7920
No TPTP formula. May not be expressible in strict first order. Merge.kif 7897-7902
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834


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