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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Adjective
Adjective(adjective)صِفَة, Adjetivo, Aggettivo, adhetibo, adjectif, adjectival, adjectivally, adjective, adjectively, attributive, attributive_genitive, classifying_adjective, comparative, comparative_degree, descriptive_adjective, pang-uri, pertainym, predicative, prenominal, qualifying_adjective, relational_adjective, superlative, superlative_degree, visheshana, 形容词

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15206-15207
No TPTP formula. May not be expressible in strict first order. Merge.kif 15204-15205
No TPTP formula. May not be expressible in strict first order. Merge.kif 15203-15203 Adjective is a subclass of word

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1031-1031 "形容词" is the printable form of adjective in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 718-718 "adjective" is the printable form of adjective in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 709-709 "adjectif" is the printable form of adjective in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 240-240 "visheshana" is the printable form of adjective in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 241-241 "Aggettivo" is the printable form of adjective in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 661-661 "Adjetivo" is the printable form of adjective in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 445-445 "صِفَة" is the printable form of adjective in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 245-245 "adhetibo" is the printable form of adjective in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 278-278 "adjective" is the printable form of adjective in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 244-244 "pang-uri" is the printable form of adjective in tg

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15191-15191 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners