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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Freezing

 Sigma KEE - Noun
Noun(名词)

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


(documentation Noun ChineseLanguage "这是词类其中的一部分，它是习惯用于表示 Object 的 Word Class。") chinese_format.kif 3531-3532
(documentation Noun EnglishLanguage "One of the parts of speech. The Class of Words that conventionally denote Objects.") Merge.kif 15296-15297
(externalImage Noun "http://upload.wikimedia.org/wikipedia/commons/1/12/ The_Thinker_close.jpg") pictureList.kif 6737-6737
(externalImage Noun "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Clones_id.jpg") pictureList.kif 7459-7459
(subclass Noun Word) Merge.kif 15294-15294 名词 是 字词 的 subclass

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


(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 15295-15295 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat ChineseLanguage Noun "名词") chinese_format.kif 1029-1029 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat EnglishLanguage Noun "noun") english_format.kif 1270-1270 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat FrenchLanguage Noun "nom") french_format.kif 707-707 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat Hindi Noun "sangyaa") terms-hindi.txt 238-238 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat ItalianLanguage Noun "Nome") terms-it.txt 241-241 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat JapaneseLanguage Noun "名詞") japanese_format.kif 2390-2390 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat cb Noun "pangalan ") terms-cb.txt 243-243 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat cz Noun "noun") terms-cz.txt 276-276 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat ro Noun "substantiv") relations-ro.kif 728-728 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词
(termFormat tg Noun "pangalan") terms-tg.txt 242-242 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词

appearance as argument number 3
-------------------------


(domain nounGender 1 Noun) Mid-level-ontology.kif 19538-19538 nounGender 的 1 数量 是 名词 的 instance

consequent
-------------------------


(=>
    (instance ?PHRASE NounPhrase)
    (exists (?NOUN)
        (and
            (instance ?NOUN Noun)
            (part ?NOUN ?PHRASE))))		 Merge.kif 15387-15392


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