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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PeriodicalPublisher
PeriodicalPublisher

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15838-15839
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8652-8652
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15837-15837 PeriodicalPublisher e' uma sub-classe de Publisher

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45200-45200
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45199-45199
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45198-45198

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


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


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