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 8201-8204
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 8197-8197 域 一時之間, 1 and TimePoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 8198-8198 域 一時之間, 2 and TimePoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 8199-8199 域 一時之間, 3 and TimePoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 8195-8195 例 一時之間 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8193-8193 例 一時之間 and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8194-8194 例 一時之間 and TernaryPredicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8196-8196 子關係 一時之間 and 暫時之間或等於

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 57442-57442
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 57441-57441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57440-57440

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8210

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8212-8216
No TPTP formula. May not be expressible in strict first order. Merge.kif 7929-7934
No TPTP formula. May not be expressible in strict first order. Merge.kif 7911-7916
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