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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8165-8168
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 8161-8161 The number 1 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8162-8162 The number 2 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8163-8163 The number 3 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8159-8159 temporally between is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8157-8157 temporally between is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8158-8158 temporally between is an instance of ternary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8160-8160 temporally between is a subrelation of temporally between or equal

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 8170-8174

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8176-8180
No TPTP formula. May not be expressible in strict first order. Merge.kif 7893-7898
No TPTP formula. May not be expressible in strict first order. Merge.kif 7875-7880
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834


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