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 14328-14331
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14324-14326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14333-14333 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 14334-14334 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 14323-14323 record is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14322-14322 record is a subrelation of 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 14327-14327

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 14336-14338
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14340-14345

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 14400-14405
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14388-14393
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 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