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 11712-11714
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11708-11710
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11716-11716 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 11717-11717 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 11705-11705 stored is an instance of antisymmetric relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11704-11704 stored is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11706-11706 stored is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11707-11707 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 1173-1173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11711-11711 "stored" is the printable form of stored in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11727-11732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11719-11725

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


No TPTP formula. May not be expressible in strict first order. Music.kif 952-962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11737-11743
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 11697-11702


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners