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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - record
record

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14355-14358
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14351-14353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14360-14360 O argumento numero 1 de record e' uma instancia de Objeto Representendo Conteudo Abstrato
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14361-14361 O argumento numero 2 de record e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14350-14350 record e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14349-14349 record e' uma sub-relacao de represents

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4346-4346
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4345-4345
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4344-4344
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14354-14354

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 457-470
No TPTP formula. May not be expressible in strict first order. Music.kif 524-532
No TPTP formula. May not be expressible in strict first order. Music.kif 559-569
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14363-14365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14367-14372

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 280-287
No TPTP formula. May not be expressible in strict first order. Music.kif 408-419
No TPTP formula. May not be expressible in strict first order. Music.kif 378-385
No TPTP formula. May not be expressible in strict first order. Music.kif 392-400
No TPTP formula. May not be expressible in strict first order. Music.kif 457-470
No TPTP formula. May not be expressible in strict first order. Music.kif 727-734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14427-14432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14415-14420
No TPTP formula. May not be expressible in strict first order. Music.kif 689-695
No TPTP formula. May not be expressible in strict first order. Music.kif 180-186
No TPTP formula. May not be expressible in strict first order. Music.kif 216-221


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