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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RelativeTimeFn

 Sigma KEE - RelativeTimeFn
RelativeTimeFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3841-3845
No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17259
No TPTP formula. May not be expressible in strict first order. Merge.kif 17251-17251 Le nombre 1 argument de RelativeTimeFn est une instance de position temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 17252-17252 Le nombre 2 argument de RelativeTimeFn est une instance de time zone
No TPTP formula. May not be expressible in strict first order. Merge.kif 17248-17248 RelativeTimeFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 17249-17249 RelativeTimeFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 17250-17250 RelativeTimeFn est une instance de relation total
No TPTP formula. May not be expressible in strict first order. Merge.kif 17253-17253 Le domaine de RelativeTimeFn est une instance de position temporel

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 596-596
No TPTP formula. May not be expressible in strict first order. english_format.kif 599-599
No TPTP formula. May not be expressible in strict first order. french_format.kif 358-358
No TPTP formula. May not be expressible in strict first order. relations-it.txt 251-251
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2101-2101
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 310-310
No TPTP formula. May not be expressible in strict first order. relations-de.txt 782-782
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 380-380
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 399-399
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49346-49346
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 597-597
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49345-49345
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49344-49344

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17228-17234
No TPTP formula. May not be expressible in strict first order. Merge.kif 17240-17246
No TPTP formula. May not be expressible in strict first order. Merge.kif 17216-17222
No TPTP formula. May not be expressible in strict first order. Merge.kif 17204-17210


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