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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RecurrentTimeIntervalFn

 Sigma KEE - RecurrentTimeIntervalFn
RecurrentTimeIntervalFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2732-2735
No TPTP formula. May not be expressible in strict first order. Merge.kif 8470-8476
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1457-1461
No TPTP formula. May not be expressible in strict first order. Merge.kif 8466-8466 Le nombre 1 argument de RecurrentTimeIntervalFn est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8467-8467 Le nombre 2 argument de RecurrentTimeIntervalFn est une sous-classe de interval temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8464-8464 RecurrentTimeIntervalFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 8465-8465 RecurrentTimeIntervalFn est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order. Merge.kif 8463-8463 RecurrentTimeIntervalFn est une instance de relation temporel
No TPTP formula. May not be expressible in strict first order. Merge.kif 8468-8468 Les valeurs retourn�es par RecurrentTimeIntervalFn sont des sous-classes de interval temporel

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 653-653
No TPTP formula. May not be expressible in strict first order. english_format.kif 656-656
No TPTP formula. May not be expressible in strict first order. french_format.kif 393-393
No TPTP formula. May not be expressible in strict first order. relations-it.txt 245-245
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2123-2123
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 345-345
No TPTP formula. May not be expressible in strict first order. relations-de.txt 854-854
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 283-283
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 415-415
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 436-436
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 437-437
No TPTP formula. May not be expressible in strict first order. Merge.kif 6586-6586 IntervalFn est reli� � l'int�rieur de SUMO � RecurrentTimeIntervalFn
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49034-49034
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 654-654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49033-49033
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49032-49032

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8485

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 1666-1666 FallSeason est p�riode recurrente de Septembre � Novembre
No TPTP formula. May not be expressible in strict first order. Geography.kif 1664-1664 SpringSeason est p�riode recurrente de Mars � Mai
No TPTP formula. May not be expressible in strict first order. Geography.kif 1665-1665 SummerSeason est p�riode recurrente de Juin � Ao�t
No TPTP formula. May not be expressible in strict first order. Geography.kif 1667-1667 WinterSeason est p�riode recurrente de Decembre � F�vrier


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