Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SyntheticSubstance
SyntheticSubstance

appearance as argument number 1
-------------------------


(documentation SyntheticSubstance ChineseLanguage "这是任何由 IntentionalProcess 所造成的 Substance , 也就是任何由 Humans 所制造的物质。") chinese_format.kif 1591-1592
(documentation SyntheticSubstance EnglishLanguage "Any Substance that is the result of an IntentionalProcess, i.e. any substance that is created by Humans.") Merge.kif 1069-1070
(documentation SyntheticSubstance JapaneseLanguage "IntentionalProcess の結果である任意の Substance。例えば、Humans によって作成される任意の物質など。") japanese_format.kif 170-171
(documentation SyntheticSubstance SpanishLanguage "Cualquiera Substance que es el resultado de un IntentionalProcess, por ejemplo, cualquiera sustancia que se crea por Humans.") spanish_format.kif 200-202
(externalImage SyntheticSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Azul_e_Branco.JPG") pictureList.kif 919-919
(subclass SyntheticSubstance Substance) Merge.kif 1067-1067

appearance as argument number 2
-------------------------


(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1043-1043
(termFormat ChineseLanguage SyntheticSubstance "合成物质") domainEnglishFormat.kif 56631-56631
(termFormat ChineseTraditionalLanguage SyntheticSubstance "合成物質") domainEnglishFormat.kif 56630-56630
(termFormat EnglishLanguage SyntheticSubstance "synthetic substance") domainEnglishFormat.kif 56629-56629

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


(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1072-1078


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