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 14327-14330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14323-14325
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14332-14332 Le nombre 1 argument de record est une instance de objet exprimant un sens
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14333-14333 Le nombre 2 argument de record est une instance de physique
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14322-14322 record est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14321-14321 record est une sous-relation 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 14326-14326

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 14335-14337
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14339-14344

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 14399-14404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14387-14392
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