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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - publishes
publishes

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3565-3566
No TPTP formula. May not be expressible in strict first order. Merge.kif 14371-14374
No TPTP formula. May not be expressible in strict first order. Merge.kif 14367-14367 The number 1 argument of publishes is an instance of organization
No TPTP formula. May not be expressible in strict first order. Merge.kif 14368-14368 The number 2 argument of publishes is a subclass of text
No TPTP formula. May not be expressible in strict first order. Merge.kif 14366-14366 publishes is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14365-14365 publishes is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 535-535
No TPTP formula. May not be expressible in strict first order. english_format.kif 543-543
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 536-536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48008-48008
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48007-48007
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48006-48006

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. Merge.kif 14377-14385


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