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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - comment
comment

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4051-4053
No TPTP formula. May not be expressible in strict first order. Merge.kif 17041-17043
No TPTP formula. May not be expressible in strict first order. Merge.kif 17045-17045 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17046-17046 The number 2 argument of comment is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 17047-17047 The number 3 argument of comment is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Merge.kif 17040-17040 comment is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3047-3047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3046-3046
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3045-3045
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4054-4054
No TPTP formula. May not be expressible in strict first order. english_format.kif 1858-1858

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11945-11951
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11421-11423
No TPTP formula. May not be expressible in strict first order. Merge.kif 12719-12720
No TPTP formula. May not be expressible in strict first order. Merge.kif 12744-12746
No TPTP formula. May not be expressible in strict first order. Music.kif 965-968
No TPTP formula. May not be expressible in strict first order. Government.kif 197-197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20111-20117
No TPTP formula. May not be expressible in strict first order. Music.kif 821-822
No TPTP formula. May not be expressible in strict first order. Music.kif 140-143
No TPTP formula. May not be expressible in strict first order. Music.kif 1068-1070
No TPTP formula. May not be expressible in strict first order. Music.kif 1091-1095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11978-11981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12005-12007


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