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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Noun
Noun(noun)
ablative, adnoun, animate, appellative, collective_noun, common_noun, count_noun, deverbal_noun, generic_noun, gerund, inanimate, mass_noun, noun, proper_name, proper_noun, substantival, verbal_noun, vocative

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3531-3532
No TPTP formula. May not be expressible in strict first order. Merge.kif 15388-15389
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6736-6736
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7458-7458
No TPTP formula. May not be expressible in strict first order. Merge.kif 15386-15386 Noun is a subclass of word

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15387-15387 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1029-1029 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. english_format.kif 1270-1270 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. french_format.kif 707-707 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 238-238 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. terms-it.txt 241-241 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2390-2390 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 243-243 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 276-276 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. terms-de.txt 535-535 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 728-728 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 242-242 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20868-20868 The number 1 argument of noun gender is an instance of noun

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15479-15484


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