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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23344-23345
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23342-23342	The number 1 argument of electron number is an instance of pure substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23343-23343	The number 2 argument of electron number is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23339-23339	electron number is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23340-23340	electron number is an instance of single valued relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23341-23341	electron number is an instance of total valued relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 887-887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 886-886
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 885-885
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21777-21777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21776-21776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21775-21775

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21171-21183	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21153-21165	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23347-23362	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21171-21183	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21153-21165	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