| appearance as argument number 1 |
|
| s__comment(s__stored__m,'Adding a stored method that is specific to storing ContentBearingObject such as SymbolicString, Recording, etc. in a DataStorageDevice. Will be changing some axioms to use this instead of other, vaguer ways of describing it.','KJN')
|
Mid-level-ontology.kif 11972-11974 | |
| s__documentation(s__stored__m,s__EnglishLanguage,'(stored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in some DataStorageDevice and can be accessed in some future date.')
|
Mid-level-ontology.kif 11968-11970 | |
| s__domain(s__stored__m,1,s__ContentBearingObject)
|
Mid-level-ontology.kif 11976-11976 | |
| s__domain(s__stored__m,2,s__DataStorageDevice)
|
Mid-level-ontology.kif 11977-11977 | |
| s__instance(s__stored__m,s__AntisymmetricRelation)
|
Mid-level-ontology.kif 11965-11965 | |
| s__instance(s__stored__m,s__BinaryPredicate)
|
Mid-level-ontology.kif 11964-11964 | |
| s__instance(s__PartialValuedRelation,s__SetOrClass)
|
Mid-level-ontology.kif 11966-11966 | |
| s__instance(s__TransitiveRelation,s__SetOrClass)
|
Mid-level-ontology.kif 11967-11967 |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__stored__m,'%1 is stored on %2')
|
domainEnglishFormat.kif 1173-1173 | |
| s__termFormat(s__EnglishLanguage,s__stored__m,'stored')
|
Mid-level-ontology.kif 11971-11971 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11987-11992 | |
| ( ! [V__O,V__D] : (s__stored(V__O,V__D) => (? [V__P] : (s__instance(V__P,s__Writing) & s__destination(V__P,V__D) & s__patient(V__P,V__O)))) )
|
Mid-level-ontology.kif 11979-11985 |
| consequent |
|
|
| ( ! [V__D,V__A,V__DS,V__X] : (((V__D = s__AlbumCopiesFn(V__A,V__DS)) & s__instance(V__X,V__D)) => (! [V__S] : (s__inList(V__S,V__A) => (? [V__C] : (s__copy(V__C,V__S) & s__stored(V__C,V__D)))))) )
|
Music.kif 936-946 | |
| ( ! [V__DSTORE] : ((s__instance(V__DSTORE,s__DataStorageDevice) & s__attribute(V__DSTORE,s__Blank)) => (~ (? [V__DATA] : s__stored(V__DATA,V__DSTORE)))) )
|
Mid-level-ontology.kif 11997-12003 | |
| 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 | |
| ( ! [V__REC,V__PHYS] : (s__record(V__REC,V__PHYS) => (? [V__DS] : (s__instance(V__DS,s__DataStorageDevice) & s__stored(V__REC,V__DS)))) )
|
Mid-level-ontology.kif 11957-11962 |
|
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