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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8484-8490
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 8480-8480 O argumento numero 1 de RecurrentTimeIntervalFn e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8481-8481 O argumento numero 2 de RecurrentTimeIntervalFn e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8478-8478 RecurrentTimeIntervalFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 8479-8479 RecurrentTimeIntervalFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 8477-8477 RecurrentTimeIntervalFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8482-8482 Os valores retornados por RecurrentTimeIntervalFn sao as sub-classes de Intervalo Temporal

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 6587-6587 IntervalFn e' relacionado internamente por SUMO a RecurrentTimeIntervalFn
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49036-49036
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 49035-49035
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49034-49034

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8492-8499

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1666-1666 FallSeason e' igual a o periodo recorrente de Setembro a Novembro
No TPTP formula. May not be expressible in strict first order. Geography.kif 1664-1664 SpringSeason e' igual a o periodo recorrente de Marco a Maio
No TPTP formula. May not be expressible in strict first order. Geography.kif 1665-1665 SummerSeason e' igual a o periodo recorrente de June a Agosto
No TPTP formula. May not be expressible in strict first order. Geography.kif 1667-1667 WinterSeason e' igual a o periodo recorrente de Dezembro a Fevereiro


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