Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
| ]
KB:
SUMO
Language:
Anisocoria
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
MechanicalAnisocoria
PhysiologicalAnisocoria
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
(FoodForFn Animal)
(FoodForFn Animal)
-0.5 (-0.5)
-0.5 (-0.5)
-1 (-1)
-1 (-1)
-10 (-10)
-10 (-10)
-3.0 (-3.0)
-3.0 (-3.0)
-6 (-6)
-6 (-6)
-7235.0 (-7235.0)
-7235.0 (-7235.0)
-86 (-86)
-86 (-86)
<=> (<=>)
<=> (<=>)
=> (=>)
=> (=>)
AAA_Rating (AAA-Rating)
AAA_Rating (AAA-Rating)
AAM (air-to-air missile)
AAM (air-to-air missile)
AAV (Amphibious Assault Vehicle)
AAV (Amphibious Assault Vehicle)
ABPFn (average buying price)
ABPFn (average buying price)
ABPFn__0En1EnFn (ABPFn__0En1EnFn)
ABPFn__0En1EnFn (ABPFn__0En1EnFn)
ABTest (A/B test)
ABTest (A/B test)
next 25
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