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 The number 2 argument of periodical issue is an instance of positive integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14662-14662 The number 1 argument of periodical issue is a subclass of periodical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14660-14660 Periodical issue is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14661-14661 Periodical issue is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14664-14664 The values returned by periodical issue are subclasses of periodical

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