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 在两个时间之间 的 1 数量 是 时点 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8184-8184 在两个时间之间 的 2 数量 是 时点 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8185-8185 在两个时间之间 的 3 数量 是 时点 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8181-8181 在两个时间之间 是 部分值关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8179-8179 在两个时间之间 是 时间关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8180-8180 在两个时间之间 是 三元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8182-8182 在两个时间之间 是 在两个时间之间或同时 的 subrelation

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