Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
student
Sigma KEE - student
student
appearance as argument number 1
(
documentation
student
EnglishLanguage
"(
student
?AGENT ?ORG) means that ?AGENT is enrolled in the
EducationalOrganization
?ORG.")
Mid-level-ontology.kif 16795-16796
(
domain
student
1
Human
)
Mid-level-ontology.kif 16793-16793
O argumento numero 1 de
student
e' uma
instancia
de
Humano
(
domain
student
2
EducationalOrganization
)
Mid-level-ontology.kif 16794-16794
O argumento numero 2 de
student
e' uma
instancia
de
Organizacao Educacional
(
instance
student
BinaryPredicate
)
Mid-level-ontology.kif 16792-16792
student
e' uma
instancia
de
Predicado Binario
(
subrelation
student
member
)
Mid-level-ontology.kif 16791-16791
student
e' uma
sub
-relacao de
member
appearance as argument number 2
(
format
ChineseLanguage
student
"%1 是 %2 的
student
")
domainEnglishFormat.kif 4678-4678
(
format
ChineseTraditionalLanguage
student
"%1 是 %2 的
student
")
domainEnglishFormat.kif 4677-4677
(
format
EnglishLanguage
student
"%1 is a
student
of %2")
domainEnglishFormat.kif 4676-4676
(
termFormat
EnglishLanguage
student
"student")
domainEnglishFormat.kif 65944-65944
antecedent
(=>
(
student
?AGENT ?ORG)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
EducationalProcess
)
(
eventLocated
?PROCESS ?ORG)
(
destination
?PROCESS ?AGENT))))
Mid-level-ontology.kif 16798-16804
student
Humano
and
Organizacao Educacional
Processo
Processo
e' uma
instancia
de
Processo Educacional
eventLocated
Processo
and
Organizacao Educacional
Processo
termina
em
Humano
consequent
(=>
(
and
(
attribute
?P
CollegeFreshman
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
lessThan
?T 1))))
Mid-level-ontology.kif 18728-18737
CollegeFreshman
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
menos
que 1
(=>
(
and
(
attribute
?P
CollegeJunior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 2)
(
lessThan
?T 3))))
Mid-level-ontology.kif 18743-18753
CollegeJunior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 2
Numero Real
e'
menos
que 3
(=>
(
and
(
attribute
?P
CollegeSenior
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 3)
(
lessThan
?T 4))))
Mid-level-ontology.kif 18759-18769
CollegeSenior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 3
Numero Real
e'
menos
que 4
(=>
(
and
(
attribute
?P
CollegeSophomore
)
(
occupiesPosition
?H ?P ?ORG))
(
exists
(?T)
(
and
(
holdsDuring
(
MeasureFn
?T
YearDuration
)
(
student
?H ?ORG))
(
greaterThanOrEqualTo
?T 1)
(
lessThan
?T 2))))
Mid-level-ontology.kif 18775-18785
CollegeSophomore
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 1
Numero Real
e'
menos
que 2
(=>
(
instance
?DS
DaySchool
)
(
not
(
exists
(?S)
(
and
(
student
?S ?DS)
(
home
?S ?DS)))))
Mid-level-ontology.kif 16783-16789
Organizacao Educacional
e' uma
instancia
de
DaySchool
Humano
student
Humano
and
Organizacao Educacional
a
casa
de
Humano
e'
Organizacao Educacional
(=>
(
instance
?VS
VocationalSchool
)
(
hasPurpose
?VS
(
exists
(?P ?S ?T)
(
and
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?VS)
(
student
?S ?VS)
(
experiencer
?P ?S)
(
instance
?T
OccupationalTrade
)
(
holdsDuring
(
EndFn
(
WhenFn
?P))
(
attribute
?S ?T))))))
Mid-level-ontology.kif 16708-16720
Fisico
e' uma
instancia
de
VocationalSchool
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo Educacional
eventLocated
Entidade
and
Fisico
student
Entidade
and
Fisico
Entidade
experimenta
Entidade
Entidade
e' uma
instancia
de
OccupationalTrade
Entidade
e' um
atributo
de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Entidade
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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