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

Formal Language: 



KB Term:  Term intersection
English Word: 

  record

Sigma KEE - record
record

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13794-13797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13790-13792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13799-13799 The number 1 argument of record is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13800-13800 The number 2 argument of record is an instance of physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13789-13789 record is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13788-13788 record is a subrelation of represents

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4355-4355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4354-4354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4353-4353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13793-13793

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


No TPTP formula. May not be expressible in strict first order. Music.kif 455-468
No TPTP formula. May not be expressible in strict first order. Music.kif 521-529
No TPTP formula. May not be expressible in strict first order. Music.kif 556-566
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13802-13804
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13806-13811

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


No TPTP formula. May not be expressible in strict first order. Music.kif 278-285
No TPTP formula. May not be expressible in strict first order. Music.kif 406-417
No TPTP formula. May not be expressible in strict first order. Music.kif 376-383
No TPTP formula. May not be expressible in strict first order. Music.kif 390-398
No TPTP formula. May not be expressible in strict first order. Music.kif 455-468
No TPTP formula. May not be expressible in strict first order. Music.kif 724-731
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13866-13871
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13854-13859
No TPTP formula. May not be expressible in strict first order. Music.kif 686-692
No TPTP formula. May not be expressible in strict first order. Music.kif 178-184
No TPTP formula. May not be expressible in strict first order. Music.kif 214-219


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 3.0 is open source software produced by Articulate Software and its partners