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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LexAdjective

appearance as argument number 1

(documentation LexAdjective EnglishLanguage "adjective") engineering.kif 50-50
(instance LexAdjective LexiconCategory) engineering.kif 51-51

appearance as argument number 2

(lexicon AlgebraicAttribute LexAdjective "algebraic") engineering.kif 223-223
(lexicon AlgebroDifferentialAttribute LexAdjective "algebro-differential") engineering.kif 227-227
(lexicon Autonomous LexAdjective "autonomous") engineering.kif 720-720
(lexicon Backlashless LexAdjective "backlashless") engineering.kif 707-707
(lexicon Brushless LexAdjective "brushless") engineering.kif 711-711
(lexicon DifferentialAttribute LexAdjective "differential") engineering.kif 219-219
(lexicon Dimensionless LexAdjective "dimensionless {physical dimension}") engineering.kif 106-106
(lexicon Nonlinear LexAdjective "nonlinear") engineering.kif 704-704
(termFormat ChineseLanguage LexAdjective "lex形容词") domainEnglishFormat.kif 34170-34170
(termFormat ChineseTraditionalLanguage LexAdjective "lex形容詞") domainEnglishFormat.kif 34169-34169
(termFormat EnglishLanguage LexAdjective "lex adjective") domainEnglishFormat.kif 34168-34168

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