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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeriodicalIssueFn
PeriodicalIssueFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14692-14694
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14690-14690 O argumento numero 2 de PeriodicalIssueFn e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14689-14689 O argumento numero 1 de PeriodicalIssueFn e' uma sub-classe de Periodico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14687-14687 PeriodicalIssueFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14688-14688 PeriodicalIssueFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14691-14691 Os valores retornados por PeriodicalIssueFn sao as sub-classes de Periodico

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 563-563
No TPTP formula. May not be expressible in strict first order. english_format.kif 568-568
No TPTP formula. May not be expressible in strict first order. french_format.kif 331-331
No TPTP formula. May not be expressible in strict first order. relations-it.txt 221-221
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2095-2095
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order. relations-de.txt 737-737
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 259-259
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 352-352
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 366-366
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 413-413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45194-45194
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 564-564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45193-45193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45192-45192

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14696-14698


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