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

Formal Language: 



KB Term:  Term intersection
English Word: 

  stored

Sigma KEE - stored
stored

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14355-14357
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14351-14353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14359-14359 stored 的 1 数量 是 有内用物体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14360-14360 stored 的 2 数量 是 DataStorageDeviceinstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14348-14348 stored反对称关系instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14347-14347 stored二元谓语instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14349-14349 stored部分值关系instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14350-14350 stored传递关系instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4650-4650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4649-4649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4648-4648
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14354-14354

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14370-14375
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14362-14368

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


No TPTP formula. May not be expressible in strict first order. Music.kif 936-946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14380-14386
No TPTP formula. May not be expressible in strict first order. Media.kif 768-788
No TPTP formula. May not be expressible in strict first order. Media.kif 741-763
No TPTP formula. May not be expressible in strict first order. Media.kif 713-736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14340-14345


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