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 18549-18551
No TPTP formula. May not be expressible in strict first order. Merge.kif 18553-18553 The number 1 argument of comment is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18554-18554 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 18555-18555 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 18548-18548 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 3038-3038
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3037-3037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3036-3036
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 15666-15672
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15160-15162
No TPTP formula. May not be expressible in strict first order. Merge.kif 13854-13855
No TPTP formula. May not be expressible in strict first order. Merge.kif 13880-13882
No TPTP formula. May not be expressible in strict first order. Music.kif 973-976
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 23881-23887
No TPTP formula. May not be expressible in strict first order. Music.kif 827-828
No TPTP formula. May not be expressible in strict first order. Music.kif 141-144
No TPTP formula. May not be expressible in strict first order. Music.kif 1078-1080
No TPTP formula. May not be expressible in strict first order. Music.kif 1101-1105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15699-15702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15726-15728


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