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
Objet
est une
instance
de
substance compos�e
substance compos�e
est une
sous
-classe de
substance compos�e
objet
objet
est une
instance
de
substance compos�e
objet
est une
partie
de
objet
molecularRatio
substance �l�mentaire
,
nombre entier
and
substance compos�e
collection
est une
instance
de
groupe
objet
est un
membre
de
collection
objet
est une
partie
de
objet
objet
est une
instance
de
substance �l�mentaire
memberCount
collection
and
nombre entier
(=>
(
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
Collection
est une
instance
de
CrossFunctionalTeam
processus
AutonomousAgent
,
AutonomousAgent
and
entit�
processus
est une
sous
-classe de
processus
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
est un
membre
de
collection
AutonomousAgent
a la
capacit
� de faire
processus
AutonomousAgent
a la
capacit
� de faire
processus
entit�
est une
instance
de
processus
collection
est
interess
� par
entit�
(=>
(
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
collection
and
collection
objet
est une
instance
de
humain
physique
est une
instance
de
processus
processus
est une
sous
-classe de
Experimenting
physique
est un
membre
de
collection
objet
est
capable
de faire
processus
dans le r�le
experimentalSubject
physique
processus
physique
est une
instance
de
processus
physique
est un
membre
de
collection
processus
est une
sous
-classe de
Experimenting
objet
est
capable
de faire
processus
dans le r�le
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
Collection
est une
instance
de
Industry
physique
physique
and
classe
physique
est un
membre
de
collection
physique
est un
membre
de
collection
classe
est une
sous
-classe de
corporation
physique
est une
instance
imm�diate de
classe
physique
est une
instance
imm�diate 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