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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PeriodicalIssueFn

 Sigma KEE - PeriodicalIssueFn
PeriodicalIssueFn

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14664-14666
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14662-14662 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 14661-14661 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 14659-14659 PeriodicalIssueFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14660-14660 PeriodicalIssueFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14663-14663 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 45192-45192
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 45191-45191
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45190-45190

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


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


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