TreeView Knowledge Base Browser - electronNumber

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 21737-21738
(domain electronNumber 1 PureSubstance)	Mid-level-ontology.kif 21735-21735	electronNumber の数値 1 引数は純物質の instance では %n
(domain electronNumber 2 PositiveInteger)	Mid-level-ontology.kif 21736-21736	electronNumber の数値 2 引数は正の整数の instance では %n
(instance electronNumber BinaryPredicate)	Mid-level-ontology.kif 21732-21732	electronNumber は 2進述語の instance では %n
(instance electronNumber SingleValuedRelation)	Mid-level-ontology.kif 21733-21733	electronNumber は一価関係の instance では %n
(instance electronNumber TotalValuedRelation)	Mid-level-ontology.kif 21734-21734	electronNumber は合計値関係の instance では %n

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 21762-21762
(termFormat ChineseTraditionalLanguage electronNumber "電子數")	domainEnglishFormat.kif 21761-21761
(termFormat EnglishLanguage electronNumber "electron number")	domainEnglishFormat.kif 21760-21760

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 19610-19622	工程は Oxidation の instance では %n エンティティーは工程の patient では %n electronNumber エンティティー and 実数は工程の time の existence の beginning の during holds %n{ない} 実数実数は実数より less では %n electronNumber エンティティー and 実数は工程の time の existence の end の during holds %n{ない}
(=> (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 19592-19604	工程は ChemicalReduction の instance では %n エンティティーは工程の patient では %n electronNumber エンティティー and 実数は工程の time の existence の beginning の during holds %n{ない} 実数実数は実数より greater では　%n electronNumber エンティティー and 実数は工程の time の existence の end の during holds %n{ない}
(=> (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 21740-21755	electronNumber 純物質 and 正の整数オブジェクトオブジェクトは純物質の part では %n オブジェクトは原子の instance では %n オブジェクトは分子の instance では %n 記号文字列正の整数は記号文字列で記述される class の instances の数と equal では %n

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 19610-19622	工程は Oxidation の instance では %n エンティティーは工程の patient では %n electronNumber エンティティー and 実数は工程の time の existence の beginning の during holds %n{ない} 実数実数は実数より less では %n electronNumber エンティティー and 実数は工程の time の existence の end の during holds %n{ない}
(=> (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 19592-19604	工程は ChemicalReduction の instance では %n エンティティーは工程の patient では %n electronNumber エンティティー and 実数は工程の time の existence の beginning の during holds %n{ない} 実数実数は実数より greater では　%n electronNumber エンティティー and 実数は工程の time の existence の end の during holds %n{ない}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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