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 14633-14634
(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 7460-7460
(subclass Noun Word) Merge.kif 14631-14631

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


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

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


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

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


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


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