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 14665-14667
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14663-14663 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 14662-14662 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 14660-14660 PeriodicalIssueFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14661-14661 PeriodicalIssueFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14664-14664 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 14669-14671


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