Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
Sigma KEE - subOrganization
subOrganization
appearance as argument number 1
(
documentation
subOrganization
ChineseLanguage
"(
subOrganization
?ORG1 ?ORG2)的意思是 ?ORG1 是一家
Organization
,而它是
Organization
?ORG2 的一部分。注:
subOrganization
属于 一种
ReflexiveRelation
,所以每一个
Organization
都是他自己的
subOrganization
。")
chinese_format.kif 3751-3753
(
documentation
subOrganization
EnglishLanguage
"(
subOrganization
?ORG1 ?ORG2) means that ?ORG1 is an
Organization
which is a part of the
Organization
?ORG2. Note that
subOrganization
is a
ReflexiveRelation
, so every
Organization
is a
subOrganization
of itself.")
Merge.kif 16920-16923
(
domain
subOrganization
1
Organization
)
Merge.kif 16918-16918
Le nombre 1 argument de
subOrganization
est une
instance
de
organisation
(
domain
subOrganization
2
Organization
)
Merge.kif 16919-16919
Le nombre 2 argument de
subOrganization
est une
instance
de
organisation
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16917-16917
subOrganization
est une
instance
de
relation partiellement dirig�e
(
subrelation
subOrganization
subCollection
)
Merge.kif 16916-16916
subOrganization
est une
sous
-relation de
subCollection
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 25816-25816
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
ChineseLanguage
subOrganization
"%1 %n 是 %2
Organization
的一部分")
chinese_format.kif 810-810
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
ChineseLanguage
subOrganization
"%1 %n 是 %2 机构 的一
part
")
chinese_format.kif 549-549
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
EnglishLanguage
subOrganization
"%1 is %n a
part
of the organization %2")
english_format.kif 554-554
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
EnglishLanguage
subOrganization
"%1 is %n a part of the organization %2")
english_format.kif 823-823
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
FrenchLanguage
subOrganization
"%1 est %n une
part
ie de l'organization %2")
french_format.kif 322-322
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
FrenchLanguage
subOrganization
"%1 est %n une partie de l'organization %2")
french_format.kif 486-486
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の
part
では %n")
japanese_format.kif 2090-2090
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の一部では %n")
english_format.kif 824-824
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
PortugueseLanguage
subOrganization
"%1 e' %n uma &parte da organizacao %2")
portuguese_format.kif 274-274
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
PortugueseLanguage
subOrganization
"%1 e' %n uma parte da organizacao %2")
portuguese_format.kif 438-438
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
ro
subOrganization
"%1 %n{nu} este o
part
%t{parte} a organizaþiei %2")
relations-ro.kif 343-343
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
ro
subOrganization
"%1 %n{nu} este o parte a organizaþiei %2")
relations-ro.kif 508-508
ancestorOrganization
et
subOrganization
sont
disjoint
(
subrelation
chamberOfLegislature
subOrganization
)
Government.kif 2022-2022
chamberOfLegislature
est une
sous
-relation de
subOrganization
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
chamberOfLegislature
est une
sous
-relation de
subOrganization
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55768-55768
chamberOfLegislature
est une
sous
-relation de
subOrganization
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55767-55767
chamberOfLegislature
est une
sous
-relation de
subOrganization
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55766-55766
chamberOfLegislature
est une
sous
-relation de
subOrganization
antecedent
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1939-1947
UnicameralLegislature
est un
attribut
de
organisation
legislativeBranch
organisation
and
secteur g�opolitique
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
organisation
est une
instance
de
LegislativeChamber
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
equal
organisation
and
organisation
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG)
(
instance
?AGENT2
GeopoliticalArea
))
(
agentOperatesInArea
?ORG ?AGENT2))
Government.kif 4472-4480
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
agentOperatesInArea
organisation
and
AutonomousAgent
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 19914-19929
equal
organisation
and
DepartmentOfFn
organisation
and
physique
organisation
2 est une partie de l'organization
organisation
equal
organisation
and
organisation
2
entit�
est une
instance
de
physique
organisation
est
interess
� par
entit�
equal
nombre r�el
and le
probabilit
� de
entit�
est un
agent
de
organisation
equal
entit�
2 and le
probabilit
� de
entit�
est un
agent
de
organisation
2
nombre r�el
est
plus
grand
que
entit�
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 19972-19977
equal
organisation
and
DepartmentOfPreventingFn
organisation
and
physique
physique
est une
sous
-classe de
processus
organisation
est une partie de l'organization
organisation
organisation
inhibe
physique
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1275-1280
executiveBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1475-1486
Organisation
est une
instance
de
GovernmentCabinet
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
a pour
but
entit�
entit�
entit�
est une
instance
de
d�clarer
entit�
est un
agent
de
organisation
entit�
est un
patient
de
entit�
leader
entit�
and le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2152-2157
Organisation
est une
instance
de
SupremeCourt
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
organisation
est une
instance
de
SupremeCourtFn
secteur g�opolitique
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16866-16870
Organisation
est une
instance
de
gouvernement
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
GovernmentOrganization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 382-387
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
AirForce
leaderPosition
organisation
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 404-409
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
Army
leaderPosition
organisation
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 436-441
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
CoastGuard
leaderPosition
organisation
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 428-433
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
NavyBranchOfService
leaderPosition
organisation
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 457-462
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
SpecialOperationsForces
leaderPosition
organisation
and
JointForcesSpecialOperationsCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
leaderPosition
organisation
and
position
leaderPosition
organisation
and
organisation
COMMANDER
subordinatePosition
organisation
,
position
and
organisation
COMMANDER
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
subOrganization
?FORCE2 ?JOINT)
(
not
(
equal
?FORCE1 ?FORCE2))
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
and
(
leaderPosition
?FORCE1 ?JOINTCOMMANDER)
(
leaderPosition
?FORCE2 ?JOINTCOMMANDER)))
MilitaryProcesses.kif 1736-1746
Organisation
est une
instance
de
JointForces
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization
organisation
equal
organisation
and
organisation
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
leaderPosition
organisation
and
organisation
COMMANDER
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2047-2052
Organisation
est une
instance
de
JudicialOrganization
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
GovernmentOrganization
organisation
est une
instance
de
GovernmentOrganization
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1892-1897
Organisation
est une
instance
de
LegislativeOrganization
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
GovernmentOrganization
organisation
est une
instance
de
GovernmentOrganization
(=>
(
and
(
instance
?UNIT
SecurityUnit
)
(
subOrganization
?UNIT ?ORG))
(
holdsObligation
(
exists
(?MAINTAIN)
(
and
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?UNIT)
(
patient
?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 9732-9742
Organisation
est une
instance
de
SecurityUnit
organisation
est une partie de l'organization
organisation
organisation
est
oblig
� d'ex�cut� des t�ches du type
entit�
entit�
est une
instance
de
maintenir
entit�
est un
agent
de
organisation
organisation
est un
patient
de
entit�
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2092-2097
judicialBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16872-16876
Organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
GovernmentOrganization
organisation
est une
instance
de
GovernmentOrganization
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
Organisation
est une
instance
de
GovernmentOrganization
organisation
est une
instance
de
gouvernement
organisation
organisation
est une
instance
de
gouvernement
organisation
est une partie de l'organization
organisation
(=>
(
and
(
attribute
?X
BlueforceControlled
)
(
instance
?X
Object
))
(
exists
(?A)
(
and
(
instance
?A
GovernmentOrganization
)
(
possesses
?A ?X)
(
or
(
subOrganization
?A
(
GovernmentFn
UnitedStates
))
(
allied
?A
(
GovernmentFn
UnitedStates
))))))
MilitaryProcesses.kif 2808-2820
BlueforceControlled
est un
attribut
de
objet
objet
est une
instance
de
objet
organisation
organisation
est une
instance
de
GovernmentOrganization
organisation
poss
�de
objet
organisation
est une partie de l'organization le
gouvernment
de
UnitedStates
allied
organisation
and le
gouvernment
de
UnitedStates
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Nation
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1)))))
Government.kif 4609-4618
diplomaticOrganizationType
secteur g�opolitique
,
organisation
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
AutonomousAgent
est une
instance
de
secteur g�opolitique
organisation
organisation
est une
instance
de
organisation
organisation
est
situ
� �
AutonomousAgent
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
instance
?AGENT1
Organization
)
(
instance
?AGENT2
GeopoliticalArea
))
(
exists
(?ORG)
(
and
(
instance
?ORG ?TYPE)
(
located
?ORG ?AGENT2)
(
subOrganization
?ORG ?AGENT1))))
Government.kif 4619-4628
diplomaticOrganizationType
organisation
,
organisation
and
AutonomousAgent
organisation
est une
instance
de
organisation
AutonomousAgent
est une
instance
de
secteur g�opolitique
organisation
organisation
est une
instance
de
organisation
organisation
est
situ
� �
AutonomousAgent
organisation
est une partie de l'organization
organisation
(=>
(
and
(
diplomaticRepresentativeInRole
?AGENT1 ?PERSON ?POSITION ?AGENT2)
(
instance
?AGENT1
Nation
))
(
exists
(?ORG)
(
and
(
instance
?ORG
DiplomaticOrganization
)
(
subOrganization
?ORG
(
GovernmentFn
?AGENT1))
(
occupiesPosition
?PERSON ?POSITION ?ORG))))
Government.kif 4431-4439
diplomaticRepresentativeInRole
secteur g�opolitique
,
humain
,
position
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
organisation
organisation
est une
instance
de
DiplomaticOrganization
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
humain
occupe la
position
de
position
organisation
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1135-1148
Objet
est un
appartenir
�
organisation
AnnexRoom
est un
attribut
de
objet
objet
est une
instance
de
HotelRoom
objet
objet
and
organisation
organisation
est une partie de l'organization
organisation
organisation
est une
instance
de
HotelFrontDesk
organisation
est
situ
� �
objet
objet
est un
appartenir
�
organisation
objet
est un
appartenir
�
organisation
objet
est une
partie
de
objet
equal
objet
and
objet
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1275-1280
executiveBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1269-1273
executiveBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1263-1267
executiveBranch
organisation
and
organisation
organisation
est une
instance
de
organisation
organisation
est une partie de l'organization
organisation
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
governmentType
secteur g�opolitique
and
FormOfGovernment
secteur g�opolitique
est une
instance
de
secteur g�opolitique
FormOfGovernment
est un
sous
-attribut de
ParliamentaryGovernment
organisation
organisation
est une
instance
de
Parliament
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2643-2657
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
AutonomousAgent
exp
�rimente
processus
processus
processus
A
processus
est une
instance
de
classifier
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
equal
processus
A and
organisation
processus
est un
agent
de
processus
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2661-2677
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
processus
a pour
origine
objet
processus
processus
A
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
a pour
origine
objet
processus
A
exp
�rimente
processus
processus
est un
agent
de
processus
A
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
equal
processus
A and
organisation
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2625-2639
Processus
est une
instance
de
Evacuation
AutonomousAgent
exp
�rimente
processus
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
processus therapeutique
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
equal
processus
A and
organisation
processus
est un
agent
de
processus
A
AutonomousAgent
exp
�rimente
processus
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2607-2621
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
maintenir
eventLocated
processus
and
objet
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
equal
processus
A and
organisation
processus
est un
agent
de
processus
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2588-2603
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
transporter
processus
aboutit
�
objet
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
equal
processus
A and
organisation
processus
est un
agent
de
processus
A
processus
A est un
patient
de
processus
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 17692-17711
Processus
est une
instance
de
OrganizationalMerging
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
equal
entit�
and
entit�
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
est une partie de l'organization
entit�
entit�
est une partie de l'organization
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2092-2097
judicialBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization
organisation
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2086-2090
judicialBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2080-2084
judicialBranch
organisation
and
organisation
organisation
est une
instance
de
organisation
organisation
est une partie de l'organization
organisation
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 1985-1989
legislativeBranch
organisation
and
organisation
organisation
est une
instance
de
organisation
organisation
est une partie de l'organization
organisation
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1991-1995
legislativeBranch
organisation
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
organisation
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 770-777
subEchelon
MilitaryUnit
and
MilitaryUnit
organisation
est une
instance
de
MilitaryUnit
organisation
organisation
est une
instance
de
MilitaryUnit
organisation
est une partie de l'organization
organisation
(=>
(
and
(
subclass
?PUB
JointPublication
)
(
instance
?ONE ?PUB)
(
containsInformation
?ONE ?CONTENT)
(
authors
?JORG ?PUB))
(
exists
(?ORG)
(
and
(
subOrganization
?ORG
USMilitary
)
(
confersObligation
?CONTENT ?JORG ?ORG))))
MilitaryProcesses.kif 940-949
Objet exprimant un sens
est une
sous
-classe de
JointPublication
ContentBearingPhysical
est une
instance
de
objet exprimant un sens
ContentBearingPhysical
contient
information
formule
AutonomousAgent
est l'
auteur
de
objet exprimant un sens
organisation
organisation
est une partie de l'organization
USMilitary
AutonomousAgent
oblige
organisation
� ex�cut� des t�ches du type
formule
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
businessUnit
organisation
and
Business
organisation
est une partie de l'organization
Business
(=>
(
hostileForces
?U1 ?U2)
(
exists
(?WAR ?A1 ?A2)
(
and
(
instance
?WAR
War
)
(
contestParticipant
?WAR ?A1)
(
contestParticipant
?WAR ?A2)
(
subOrganization
?U1
(
GovernmentFn
?A1))
(
subOrganization
?U2
(
GovernmentFn
?A2)))))
Mid-level-ontology.kif 9633-9641
hostileForces
MilitaryUnit
and
MilitaryUnit
affrontement
secteur g�opolitique
and
secteur g�opolitique
affrontement
est une
instance
de
guerre
contestParticipant
affrontement
and
secteur g�opolitique
contestParticipant
affrontement
and
secteur g�opolitique
MilitaryUnit
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
MilitaryUnit
est une partie de l'organization le
gouvernment
de
secteur g�opolitique
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
subOrganization
Aetna
CVS
)
Medicine.kif 5567-5567
Aetna
est une partie de l'organization
CVS
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3038-3038
CommissionForSocialDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3040-3040
CommissionOnCrimePreventionAndCriminalJustice
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3042-3042
CommissionOnHumanRights
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3044-3044
CommissionOnNarcoticsDrugs
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3046-3046
CommissionOnPopulationAndDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3048-3048
CommissionOnScienceAndTechnologyForDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3050-3050
CommissionOnSustainableDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3052-3052
CommissionOnTheStatusOfWomen
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4789-4789
DepartmentOfHomelandSecurity
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3054-3054
EconomicAndSocialCommissionForAsiaAndThePacific
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3056-3056
EconomicAndSocialCommissionForWesternAsia
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3037-3037
EconomicAndSocialCouncil
est une partie de l'organization
UnitedNations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3058-3058
EconomicCommissionForAfrica
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3060-3060
EconomicCommissionForEurope
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3062-3062
EconomicCommissionForLatinAmericaAndTheCaribbean
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4479-4479
FitbitCompany
est une partie de l'organization
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3064-3064
FoodAndAgricultureOrganization
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
GoogleCorporation
est une partie de l'organization
AlphabetCorporation
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4564-4564
HoldenCorporation
est une partie de l'organization
GeneralMotorsCorp
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3065-3065
InternationalAtomicEnergyAgency
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3066-3066
InternationalBankForReconstructionAndDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3377-3377
InternationalBankForReconstructionAndDevelopment
est une partie de l'organization
UnitedNations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4280-4280
InternationalBankForReconstructionAndDevelopment
est une partie de l'organization
WorldBankGroup
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3067-3067
InternationalCenterForSecretariatOfInvestmentDisputes
est une partie de l'organization
EconomicAndSocialCouncil
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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