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 17029-17031
No TPTP formula. May not be expressible in strict first order. Merge.kif 17033-17033 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17034-17034 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 17035-17035 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 17028-17028 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 12707-12708
No TPTP formula. May not be expressible in strict first order. Merge.kif 12732-12734
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