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

Formal Language: 



KB Term:  Term intersection
English Word: 

  comment

Sigma KEE - comment
comment

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18618-18620
No TPTP formula. May not be expressible in strict first order. Merge.kif 18615-18617
No TPTP formula. May not be expressible in strict first order. Merge.kif 18624-18624 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18625-18625 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 18626-18626 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 18614-18614 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 770-770
No TPTP formula. May not be expressible in strict first order. Merge.kif 18622-18622 "注释" is the printable form of comment in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. Merge.kif 18621-18621 "comment" is the printable form of comment in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11652-11658
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11128-11130
No TPTP formula. May not be expressible in strict first order. Merge.kif 13536-13537
No TPTP formula. May not be expressible in strict first order. Merge.kif 13566-13568
No TPTP formula. May not be expressible in strict first order. Music.kif 987-990
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 19648-19654
No TPTP formula. May not be expressible in strict first order. Music.kif 843-844
No TPTP formula. May not be expressible in strict first order. Music.kif 156-159
No TPTP formula. May not be expressible in strict first order. Music.kif 1090-1092
No TPTP formula. May not be expressible in strict first order. Music.kif 1113-1117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11685-11688
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11712-11714


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners