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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Noun
Noun

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


(documentation Noun ChineseLanguage "这是词类其中的一部分,它是习惯用于表示 ObjectWord 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 14131-14132
(externalImage Noun "http://upload.wikimedia.org/wikipedia/commons/1/12/ The_Thinker_close.jpg") pictureList.kif 6738-6738
(externalImage Noun "http://upload.wikimedia.org/wikipedia/commons/9/9d/ Clones_id.jpg") pictureList.kif 7461-7461
(subclass Noun Word) Merge.kif 14129-14129

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


(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 14130-14130
(termFormat ChineseLanguage Noun "名词") chinese_format.kif 1029-1029
(termFormat EnglishLanguage Noun "noun") english_format.kif 1275-1275

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


(domain nounGender 1 Noun) Mid-level-ontology.kif 15819-15819

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


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


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