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 11946-11949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11942-11944
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11951-11951 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 11952-11952 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 11941-11941 record is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11940-11940 record is a subrelation of represents

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4351-4351
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4350-4350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4349-4349
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11945-11945 "record" is the printable form of record in english language

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


No TPTP formula. May not be expressible in strict first order. Music.kif 460-473
No TPTP formula. May not be expressible in strict first order. Music.kif 526-534
No TPTP formula. May not be expressible in strict first order. Music.kif 561-571
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11954-11956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11958-11963

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


No TPTP formula. May not be expressible in strict first order. Music.kif 274-281
No TPTP formula. May not be expressible in strict first order. Music.kif 411-422
No TPTP formula. May not be expressible in strict first order. Music.kif 381-388
No TPTP formula. May not be expressible in strict first order. Music.kif 395-403
No TPTP formula. May not be expressible in strict first order. Music.kif 460-473
No TPTP formula. May not be expressible in strict first order. Music.kif 729-736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12024-12029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12011-12016
No TPTP formula. May not be expressible in strict first order. Music.kif 691-697
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 210-215


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners