Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subOrganization
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 16745-16748
(
domain
subOrganization
1
Organization
)
Merge.kif 16743-16743
Le nombre 1 argument de
subOrganization
est une
instance
de
organisation
(
domain
subOrganization
2
Organization
)
Merge.kif 16744-16744
Le nombre 2 argument de
subOrganization
est une
instance
de
organisation
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16742-16742
subOrganization
est une
instance
de
relation partiellement dirig�e
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
subOrganization
est une
sous
-relation de
subCollection
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24170-24170
ancestorOrganization
et
subOrganization
sont
disjoint
(
format
ChineseLanguage
subOrganization
"%1 %n 是 %2
Organization
的一部分")
chinese_format.kif 810-810
(
format
ChineseLanguage
subOrganization
"%1 %n 是 %2 机构 的一
part
")
chinese_format.kif 549-549
(
format
EnglishLanguage
subOrganization
"%1 is %n a
part
of the organization %2")
english_format.kif 554-554
(
format
EnglishLanguage
subOrganization
"%1 is %n a part of the organization %2")
english_format.kif 823-823
(
format
FrenchLanguage
subOrganization
"%1 est %n une
part
ie de l'organization %2")
french_format.kif 322-322
(
format
FrenchLanguage
subOrganization
"%1 est %n une partie de l'organization %2")
french_format.kif 486-486
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の
part
では %n")
japanese_format.kif 2090-2090
(
format
JapaneseLanguage
subOrganization
"%1 は組織 %2 の一部では %n")
english_format.kif 824-824
(
format
PortugueseLanguage
subOrganization
"%1 e' %n uma &parte da organizacao %2")
portuguese_format.kif 274-274
(
format
PortugueseLanguage
subOrganization
"%1 e' %n uma parte da organizacao %2")
portuguese_format.kif 438-438
(
format
ro
subOrganization
"%1 %n{nu} este o
part
%t{parte} a organizaþiei %2")
relations-ro.kif 343-343
(
format
ro
subOrganization
"%1 %n{nu} este o parte a organizaþiei %2")
relations-ro.kif 508-508
(
subrelation
chamberOfLegislature
subOrganization
)
Government.kif 2060-2060
chamberOfLegislature
est une
sous
-relation de
subOrganization
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55764-55764
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55763-55763
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55762-55762
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 1977-1985
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
organisation
est
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 4511-4519
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 18343-18358
Organisation
est
DepartmentOfFn
organisation
and
physique
organisation
2 est une partie de l'organization
organisation
organisation
est
organisation
2
entit�
est une
instance
de
physique
organisation
est
interess
� par
entit�
nombre r�el
est
probabilit
� de
entit�
est un
agent
de
organisation
entit�
2 est
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 18401-18406
Organisation
est
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 1313-1318
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 1513-1524
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 2191-2196
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 16691-16695
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 371-376
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 393-398
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 425-430
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 417-422
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 446-451
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
organisation
est
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 2085-2090
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 1930-1935
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 8526-8536
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 2130-2135
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 16697-16701
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
(
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 4648-4657
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 4658-4667
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 4470-4478
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 1127-1140
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
objet
est
objet
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
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 1307-1311
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 1301-1305
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 2609-2623
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
processus
A est
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 2627-2643
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
processus
A est
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 2591-2605
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
processus
A est
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 2573-2587
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
processus
A est
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 2554-2569
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
processus
A est
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 16305-16324
Processus
est une
instance
de
OrganizationalMerging
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
entit�
est
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 2130-2135
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 2124-2128
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 2118-2122
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 2023-2027
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 2029-2033
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 693-700
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
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
ExpeditionaryForce
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
and
entit�
objet
est une partie de l'organization le
gouvernment
de
entit�
entit�
est une
instance
de
bataille
entit�
est un
agent
de
objet
entit�
est une
instance
de
nation
entit�
est
situ
� �
entit�
entit�
est
entit�
(=>
(
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 8427-8435
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 5558-5558
Aetna
est une partie de l'organization
CVS
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
CommissionForSocialDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
CommissionOnCrimePreventionAndCriminalJustice
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
CommissionOnHumanRights
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
CommissionOnNarcoticsDrugs
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
CommissionOnPopulationAndDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
CommissionOnScienceAndTechnologyForDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
CommissionOnSustainableDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
CommissionOnTheStatusOfWomen
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
DepartmentOfHomelandSecurity
est une partie de l'organization le
gouvernment
de
UnitedStates
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
EconomicAndSocialCommissionForAsiaAndThePacific
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
EconomicAndSocialCommissionForWesternAsia
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
EconomicAndSocialCouncil
est une partie de l'organization
UnitedNations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
EconomicCommissionForAfrica
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
EconomicCommissionForEurope
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
EconomicCommissionForLatinAmericaAndTheCaribbean
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
FitbitCompany
est une partie de l'organization
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
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 4503-4503
HoldenCorporation
est une partie de l'organization
GeneralMotorsCorp
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
InternationalAtomicEnergyAgency
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
InternationalBankForReconstructionAndDevelopment
est une partie de l'organization
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
InternationalBankForReconstructionAndDevelopment
est une partie de l'organization
UnitedNations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
InternationalBankForReconstructionAndDevelopment
est une partie de l'organization
WorldBankGroup
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
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 simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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