electronNumber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - electronNumber

electronNumber

appearance as argument number 1

(documentation electronNumber EnglishLanguage "(electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER.")	Mid-level-ontology.kif 21968-21969
(domain electronNumber 1 PureSubstance)	Mid-level-ontology.kif 21966-21966	The number 1 argument of electron number is an instance of pure substance
(domain electronNumber 2 PositiveInteger)	Mid-level-ontology.kif 21967-21967	The number 2 argument of electron number is an instance of positive integer
(instance electronNumber BinaryPredicate)	Mid-level-ontology.kif 21963-21963	electron number is an instance of binary predicate
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 21964-21964	electron number is an instance of single valued relation
(instance electronNumber TotalValuedRelation)	Mid-level-ontology.kif 21965-21965	electron number is an instance of total valued relation

appearance as argument number 2

(format ChineseLanguage electronNumber "%2 %n 是 %1 的 electron 号码")	domainEnglishFormat.kif 887-887
(format ChineseTraditionalLanguage electronNumber "%2 %n 是 %1 的 electron 號碼")	domainEnglishFormat.kif 886-886
(format EnglishLanguage electronNumber "%2 is %n an electron number of %1")	domainEnglishFormat.kif 885-885
(termFormat ChineseLanguage electronNumber "电子数")	domainEnglishFormat.kif 21778-21778
(termFormat ChineseTraditionalLanguage electronNumber "電子數")	domainEnglishFormat.kif 21777-21777
(termFormat EnglishLanguage electronNumber "electron number")	domainEnglishFormat.kif 21776-21776

antecedent

(=> (and (instance ?O Oxidation) (patient ?O ?S) (holdsDuring (BeginFn (WhenFn ?O)) (electronNumber ?S ?G))) (exists (?L) (and (lessThan ?L ?G) (holdsDuring (EndFn (WhenFn ?O)) (electronNumber ?S ?L)))))	Mid-level-ontology.kif 19841-19853	If a process is an instance of oxidating and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is less than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process
(=> (and (instance ?R ChemicalReduction) (patient ?R ?S) (holdsDuring (BeginFn (WhenFn ?R)) (electronNumber ?S ?L))) (exists (?G) (and (greaterThan ?G ?L) (holdsDuring (EndFn (WhenFn ?R)) (electronNumber ?S ?G)))))	Mid-level-ontology.kif 19823-19835	If a process is an instance of chemical reduction and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is greater than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process
(=> (electronNumber ?SUBSTANCE ?NUMBER) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?ELECTRON) (equal ?NUMBER (CardinalityFn (KappaFn ?ELECTRON (and (part ?ELECTRON ?ATOM) (instance ?ELECTRON Electron))))))))	Mid-level-ontology.kif 21971-21986	If a positive integer is an electron number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string

consequent

(=> (and (instance ?O Oxidation) (patient ?O ?S) (holdsDuring (BeginFn (WhenFn ?O)) (electronNumber ?S ?G))) (exists (?L) (and (lessThan ?L ?G) (holdsDuring (EndFn (WhenFn ?O)) (electronNumber ?S ?L)))))	Mid-level-ontology.kif 19841-19853	If a process is an instance of oxidating and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is less than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process
(=> (and (instance ?R ChemicalReduction) (patient ?R ?S) (holdsDuring (BeginFn (WhenFn ?R)) (electronNumber ?S ?L))) (exists (?G) (and (greaterThan ?G ?L) (holdsDuring (EndFn (WhenFn ?R)) (electronNumber ?S ?G)))))	Mid-level-ontology.kif 19823-19835	If a process is an instance of chemical reduction and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process, then there exists another real number such that the other real number is greater than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process

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