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 13794-13796
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 13798-13798 The number 1 argument of stored is an instance of content bearing object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13799-13799 The number 2 argument of stored is an instance of DataStorageDevice
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13787-13787 stored is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13786-13786 stored is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13788-13788 stored is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13789-13789 stored is an instance of transitive relation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4659-4659
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4658-4658
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4657-4657
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. Mid-level-ontology.kif 13809-13814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13801-13807

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


No TPTP formula. May not be expressible in strict first order. Music.kif 931-941
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13819-13825
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 13779-13784


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