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 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 record 的 1 数量 是 有内用物体 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14333-14333 record 的 2 数量 是 物理 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14322-14322 record 是 二元谓语 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14321-14321 record 是 表示 的 subrelation

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 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