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
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1772-1786
Objeto
e' uma
instancia
de
Substancia Composta
Substancia Composta
e' uma
sub
-classe de
Substancia Composta
Objeto
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma &parte de
Objeto
molecularRatio
Substancia Elementar
,
Numero Inteiro
and
Substancia Composta
Colecao
e' uma
instancia
de
Grupo
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Substancia Elementar
memberCount
Colecao
and
Numero Inteiro
(=>
(
instance
?TEAM
CrossFunctionalTeam
)
(
exists
(?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(
and
(
subclass
?SKILL
Process
)
(
instance
?MEMBER1
Human
)
(
instance
?MEMBER2
Human
)
(
member
?MEMBER1 ?TEAM)
(
member
?MEMBER2 ?TEAM)
(
hasSkill
?SKILL ?MEMBER1)
(
not
(
hasSkill
?SKILL ?MEMBER2))
(
instance
?INST ?SKILL)
(
inScopeOfInterest
?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
Colecao
e' uma
instancia
de
CrossFunctionalTeam
Processo
AutonomousAgent
,
AutonomousAgent
and
Entidade
Processo
e' uma
sub
-classe de
Processo
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
e'
membro
de
Colecao
AutonomousAgent
tem a
capacidade
de fazer
Processo
AutonomousAgent
tem a
capacidade
de fazer
Processo
Entidade
e' uma
instancia
de
Processo
Colecao
esta'
interessado
em
Entidade
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1 ?CLASS1)
(
subclass
?CLASS1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?CLASS1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2 ?CLASS2)
(
and
(
instance
?EXPERIMENT2 ?CLASS2)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
subclass
?CLASS2
Experimenting
)
(
capability
?CLASS2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4467-4480
orthogonalTests
Colecao
and
Colecao
Objeto
e' uma
instancia
de
Humano
Fisico
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Experimenting
Fisico
e'
membro
de
Colecao
Objeto
e'
capaz
de fazer
Processo
no role
experimentalSubject
Fisico
Processo
Fisico
e' uma
instancia
de
Processo
Fisico
e'
membro
de
Colecao
Processo
e' uma
sub
-classe de
Experimenting
Objeto
e'
capaz
de fazer
Processo
no role
experimentalSubject
(=>
(
instance
?INDUSTRY
Industry
)
(
exists
(?MEMB1 ?MEMB2 ?CLASS)
(
and
(
member
?MEMB1 ?INDUSTRY)
(
member
?MEMB2 ?INDUSTRY)
(
subclass
?CLASS
Corporation
)
(
immediateInstance
?MEMB1 ?CLASS)
(
immediateInstance
?MEMB2 ?CLASS))))
Mid-level-ontology.kif 15016-15024
Colecao
e' uma
instancia
de
Industry
Fisico
Fisico
and
Classe
Fisico
e'
membro
de
Colecao
Fisico
e'
membro
de
Colecao
Classe
e' uma
sub
-classe de
Empresa
Fisico
e' uma
instancia
imediata de
Classe
Fisico
e' uma
instancia
imediata de
Classe
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