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 17726-17728
No TPTP formula. May not be expressible in strict first order. Merge.kif 17730-17730 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17731-17731 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 17732-17732 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 17725-17725 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 1855-1855

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13734-13740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13228-13230
No TPTP formula. May not be expressible in strict first order. Merge.kif 13119-13120
No TPTP formula. May not be expressible in strict first order. Merge.kif 13144-13146
No TPTP formula. May not be expressible in strict first order. Music.kif 966-969
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 21668-21674
No TPTP formula. May not be expressible in strict first order. Music.kif 822-823
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 1069-1071
No TPTP formula. May not be expressible in strict first order. Music.kif 1092-1096
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13767-13770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13794-13796


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