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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 14360-14360 The number 2 argument of stored is an instance of data storage device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14348-14348 stored is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14347-14347 stored is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14349-14349 stored is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14350-14350 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 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 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 3.0 is open source software produced by Articulate Software and its partners