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
(
subjectiveAttribute
?AGENT1
Quick
?PERSON)
(
subjectiveAttribute
?AGENT2
Slow
?PERSON)
(
instance
?PROCESS1 ?CLASS)
(
instance
?PROCESS2 ?CLASS)
(
subclass
?CLASS
Process
)
(
agent
?PROCESS1 ?AGENT1)
(
agent
?PROCESS2 ?AGENT2))
(
and
(
instance
?U
UnitOfDuration
)
(
duration
(
WhenFn
?PROCESS1)
(
MeasureFn
?TIME1 ?U))
(
duration
(
WhenFn
?PROCESS2)
(
MeasureFn
?TIME2 ?U))
(
greaterThan
?TIME2 ?TIME1)))
Dining.kif 1044-1059
subjectiveAttribute
AutonomousAgent
,
Quick
and
AutonomousAgent
subjectiveAttribute
AutonomousAgent
,
Slow
and
AutonomousAgent
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfDuration
a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s) a
duracao
de
tempo
de existencia de
Processo
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que
Numero Real
(
subclass
UnitOfDuration
NonCompositeUnitOfMeasure
)
Merge.kif 6339-6339
UnitOfDuration
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
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