Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24236-24246
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
birthday
Humano
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
(=>
(
and
(
instance
?WED
Wedding
)
(
date
?WED ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
weddingAnniversary
?WED ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24195-24206
Fisico
e' uma
instancia
de
Wedding
a
data
de
Fisico
e'
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
weddingAnniversary
Fisico
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
(=>
(
and
(
instance
?SEQ
SequenceFunction
)
(
range
?SEQ ?CLASS))
(
subclass
?CLASS
Integer
))
Merge.kif 3392-3396
Funcao
e' uma
instancia
de
Funcao Sequencia
o
contra
-dominio de
Funcao
e' uma instancia de
Classe
Classe
e' uma
sub
-classe de
Numero Inteiro
(
subclass
Integer
RationalNumber
)
Merge.kif 1954-1954
Numero Inteiro
e' uma
sub
-classe de
Numero Racional
(
subclass
EvenInteger
Integer
)
Merge.kif 1960-1960
Inteiro Par
e' uma
sub
-classe de
Numero Inteiro
(
subclass
OddInteger
Integer
)
Merge.kif 1965-1965
Inteiro Impar
e' uma
sub
-classe de
Numero Inteiro
(
subclass
PrimeNumber
Integer
)
Merge.kif 1970-1970
Numero Primo
e' uma
sub
-classe de
Numero Inteiro
(
subclass
NonnegativeInteger
Integer
)
Merge.kif 1975-1975
Numero Inteiro nao-negativo
e' uma
sub
-classe de
Numero Inteiro
(
subclass
NegativeInteger
Integer
)
Merge.kif 1985-1985
Inteiro negativo
e' uma
sub
-classe de
Numero Inteiro
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