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
O argumento numero 1 de
subOrganization
e' uma
instancia
de
Organizacao
(
domain
subOrganization
2
Organization
)
Merge.kif 16744-16744
O argumento numero 2 de
subOrganization
e' uma
instancia
de
Organizacao
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16742-16742
subOrganization
e' uma
instancia
de
Relacao parcialmente Ordenada
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
subOrganization
e' uma
sub
-relacao de
subCollection
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24170-24170
ancestorOrganization
e
subOrganization
sao
disjuntos
(
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
e' uma
sub
-relacao 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
e' um
atributo
de
Organizacao
legislativeBranch
Organizacao
and
Area Geopolitica
Organizacao
e' uma
instancia
de
LegislativeChamber
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Organizacao
e' uma
instancia
de
LegislativeChamber
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Organizacao
e'
igual
a
Organizacao
(=>
(
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
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
e' uma
instancia
de
DiplomaticOrganization
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Humano
ocupa a
posicao
de
Posicao
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
agentOperatesInArea
Organizacao
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
Organizacao
e'
igual
a
DepartmentOfFn
Organizacao
and
Fisico
Organizacao
2 e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
2
Entidade
e' uma
instancia
de
Fisico
Organizacao
esta'
interessado
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
Entidade
2 e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
2
Numero Real
e'
maior
que
Entidade
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
Organizacao
e'
igual
a
DepartmentOfPreventingFn
Organizacao
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
inhibe
Fisico
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
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
Organizacao
e' uma
instancia
de
GovernmentCabinet
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Declarar
Entidade
e' um
agente
de
Organizacao
Entidade
e' um
patient
de
Entidade
leader
Entidade
and o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
Organizacao
e' uma
instancia
de
SupremeCourt
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
e' uma
instancia
de
SupremeCourtFn
Area Geopolitica
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16691-16695
Organizacao
e' uma
instancia
de
Governo
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
GovernmentOrganization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
AirForce
leaderPosition
Organizacao
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
Army
leaderPosition
Organizacao
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
CoastGuard
leaderPosition
Organizacao
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
NavyBranchOfService
leaderPosition
Organizacao
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
SpecialOperationsForces
leaderPosition
Organizacao
and
JointForcesSpecialOperationsCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
leaderPosition
Organizacao
and
Posicao
leaderPosition
Organizacao
and
Organizacao
COMMANDER
subordinatePosition
Organizacao
,
Posicao
and
Organizacao
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
Organizacao
e' uma
instancia
de
JointForces
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
leaderPosition
Organizacao
and
Organizacao
COMMANDER
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2085-2090
Organizacao
e' uma
instancia
de
JudicialOrganization
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
GovernmentOrganization
Organizacao
e' uma
instancia
de
GovernmentOrganization
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1930-1935
Organizacao
e' uma
instancia
de
LegislativeOrganization
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
GovernmentOrganization
Organizacao
e' uma
instancia
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
Organizacao
e' uma
instancia
de
SecurityUnit
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e'
obrigado
a executar tarefas de tipo
Entidade
Entidade
e' uma
instancia
de
Preservar
Entidade
e' um
agente
de
Organizacao
Organizacao
e' um
patient
de
Entidade
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16697-16701
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
GovernmentOrganization
Organizacao
e' uma
instancia
de
GovernmentOrganization
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
Organizacao
e' uma
instancia
de
GovernmentOrganization
Organizacao
e' uma
instancia
de
Governo
Organizacao
Organizacao
e' uma
instancia
de
Governo
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
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
Area Geopolitica
,
Organizacao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
Organizacao
Organizacao
e' uma
instancia
de
Organizacao
Organizacao
e'
situado
em
AutonomousAgent
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
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
Organizacao
,
Organizacao
and
AutonomousAgent
Organizacao
e' uma
instancia
de
Organizacao
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
Organizacao
Organizacao
e' uma
instancia
de
Organizacao
Organizacao
e'
situado
em
AutonomousAgent
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
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
Area Geopolitica
,
Humano
,
Posicao
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Organizacao
Organizacao
e' uma
instancia
de
DiplomaticOrganization
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
Humano
ocupa a
posicao
de
Posicao
Organizacao
(=>
(
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
Objeto
e' um
elemento
de
propriedade
de
Organizacao
AnnexRoom
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
HotelRoom
Objeto
Objeto
and
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma
instancia
de
HotelFrontDesk
Organizacao
e'
situado
em
Objeto
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' um
elemento
de
propriedade
de
Organizacao
Objeto
e' uma &parte de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
executiveBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1301-1305
executiveBranch
Organizacao
and
Organizacao
Organizacao
e' uma
instancia
de
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
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
Area Geopolitica
and
FormOfGovernment
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
FormOfGovernment
e' um
sub
-atributo de
ParliamentaryGovernment
Organizacao
Organizacao
e' uma
instancia
de
Parliament
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
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
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
Organizacao
AutonomousAgent
experimenta
Processo
Processo
Processo
A
Processo
e' uma
instancia
de
Classificar
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
Processo
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
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
Organizacao
Processo
tem como
origem
Objeto
Processo
Processo
A
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Objeto
Processo
A
experimenta
Processo
Processo
e' um
agente
de
Processo
A
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
(=>
(
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
Processo
e' uma
instancia
de
Evacuation
AutonomousAgent
experimenta
Processo
Processo
e' um
agente
de
Organizacao
Processo
Processo
A
Processo
e' uma
instancia
de
Processo Terapeutico
Processo
e' um
sub
-processo de
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
Processo
A
AutonomousAgent
experimenta
Processo
(=>
(
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
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Objeto
Processo
e' um
agente
de
Organizacao
Processo
Processo
A
Processo
e' uma
instancia
de
Preservar
eventLocated
Processo
and
Objeto
Processo
e' um
sub
-processo de
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
Processo
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
Processo
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Objeto
Processo
e' um
agente
de
Organizacao
Processo
Processo
A
Processo
e' uma
instancia
de
Transporte
Processo
termina
em
Objeto
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
Processo
A
Processo
A e' um
patient
de
Processo
(=>
(
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
Processo
e' uma
instancia
de
OrganizationalMerging
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
Entidade
e'
igual
a
Entidade
Entidade
Entidade
e' uma parte da organizacao
Entidade
Entidade
e' uma parte da organizacao
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
Entidade
e' uma parte da organizacao
Entidade
Entidade
e' uma parte da organizacao
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao
Organizacao
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
judicialBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
judicialBranch
Organizacao
and
Organizacao
Organizacao
e' uma
instancia
de
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
legislativeBranch
Organizacao
and
Organizacao
Organizacao
e' uma
instancia
de
Organizacao
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
legislativeBranch
Organizacao
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Organizacao
e' uma parte da organizacao o
governo
de
Area Geopolitica
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
subEchelon
MilitaryUnit
and
MilitaryUnit
Organizacao
e' uma
instancia
de
MilitaryUnit
Organizacao
Organizacao
e' uma
instancia
de
MilitaryUnit
Organizacao
e' uma parte da organizacao
Organizacao
(=>
(
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
Objeto Representendo Conteudo Abstrato
e' uma
sub
-classe de
JointPublication
ContentBearingPhysical
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
ContentBearingPhysical
contem
informacao
Formula
AutonomousAgent
e' o
autor
de
Objeto Representendo Conteudo Abstrato
Organizacao
Organizacao
e' uma parte da organizacao
USMilitary
AutonomousAgent
obriga
Organizacao
a executar tarefas de tipo
Formula
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
and
Entidade
Objeto
e' uma parte da organizacao o
governo
de
Entidade
Entidade
e' uma
instancia
de
Batalha
Entidade
e' um
agente
de
Objeto
Entidade
e' uma
instancia
de
Nacao
Entidade
e'
situado
em
Entidade
Entidade
e'
igual
a
Entidade
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
businessUnit
Organizacao
and
Business
Organizacao
e' uma parte da organizacao
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
Contest
Area Geopolitica
and
Area Geopolitica
Contest
e' uma
instancia
de
Guerra
contestParticipant
Contest
and
Area Geopolitica
contestParticipant
Contest
and
Area Geopolitica
MilitaryUnit
e' uma parte da organizacao o
governo
de
Area Geopolitica
MilitaryUnit
e' uma parte da organizacao o
governo
de
Area Geopolitica
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
e' uma parte da organizacao
CVS
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
CommissionForSocialDevelopment
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
CommissionOnCrimePreventionAndCriminalJustice
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
CommissionOnHumanRights
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
CommissionOnNarcoticsDrugs
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
CommissionOnPopulationAndDevelopment
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
CommissionOnScienceAndTechnologyForDevelopment
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
CommissionOnSustainableDevelopment
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
CommissionOnTheStatusOfWomen
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
DepartmentOfHomelandSecurity
e' uma parte da organizacao o
governo
de
UnitedStates
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
EconomicAndSocialCommissionForAsiaAndThePacific
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
EconomicAndSocialCommissionForWesternAsia
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
EconomicAndSocialCouncil
e' uma parte da organizacao
UnitedNations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
EconomicCommissionForAfrica
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
EconomicCommissionForEurope
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
EconomicCommissionForLatinAmericaAndTheCaribbean
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
FitbitCompany
e' uma parte da organizacao
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
FoodAndAgricultureOrganization
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
GoogleCorporation
e' uma parte da organizacao
AlphabetCorporation
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4503-4503
HoldenCorporation
e' uma parte da organizacao
GeneralMotorsCorp
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
InternationalAtomicEnergyAgency
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
InternationalBankForReconstructionAndDevelopment
e' uma parte da organizacao
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
InternationalBankForReconstructionAndDevelopment
e' uma parte da organizacao
UnitedNations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
InternationalBankForReconstructionAndDevelopment
e' uma parte da organizacao
WorldBankGroup
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
InternationalCenterForSecretariatOfInvestmentDisputes
e' uma parte da organizacao
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