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 16767-16770
(
domain
subOrganization
1
Organization
)
Merge.kif 16765-16765
Il numero 1 argomenti di
subOrganization
è un
istanza
di
Organizzazione
(
domain
subOrganization
2
Organization
)
Merge.kif 16766-16766
Il numero 2 argomenti di
subOrganization
è un
istanza
di
Organizzazione
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16764-16764
subOrganization
è un'
istanza
di
RelazioneDiOrdineParziale
(
subrelation
subOrganization
subCollection
)
Merge.kif 16763-16763
subOrganization
è una
sottorelazione
di
subCollection
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24169-24169
ancestorOrganization
e
subOrganization
sono
disgiunti
(
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
è una
sottorelazione
di
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
attribute
Organizzazione
and
UnicameralLegislature
legislativeBranch
Organizzazione
and
AreaGeopolitica
Organizzazione
è un'
istanza
di
LegislativeChamber
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Organizzazione
è un'
istanza
di
LegislativeChamber
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Organizzazione
is
uguale
a
Organizzazione
(=>
(
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
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
è un'
istanza
di
DiplomaticOrganization
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
agentOperatesInArea
Organizzazione
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 18342-18357
Organizzazione
is
uguale
a
DepartmentOfFn
Organizzazione
and
Entit�Concreta
subOrganization
Organizzazione
2 and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
2
Entit�
è un'
istanza
di
Entit�Concreta
Organizzazione
è
interessato
a
Entit�
NumeroReale
is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
Entit�
2 is
uguale
a la
probabilit
à di
Entit�
è un
agente
di
Organizzazione
2
NumeroReale
è
pi
ù grande di
Entit�
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18400-18405
Organizzazione
is
uguale
a
DepartmentOfPreventingFn
Organizzazione
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
inibisce
Entit�Concreta
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
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
Organizzazione
è un'
istanza
di
GovernmentCabinet
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Organizzazione
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Affermare
Entit�
è un
agente
di
Organizzazione
Entit�
è un
paziente
di
Entit�
leader
Entit�
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
Organizzazione
è un'
istanza
di
SupremeCourt
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
è un'
istanza
di
SupremeCourtFn
AreaGeopolitica
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16713-16717
Organizzazione
è un'
istanza
di
Governo
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
GovernmentOrganization
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
AirForce
leaderPosition
Organizzazione
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
Army
leaderPosition
Organizzazione
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
CoastGuard
leaderPosition
Organizzazione
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
NavyBranchOfService
leaderPosition
Organizzazione
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
SpecialOperationsForces
leaderPosition
Organizzazione
and
JointForcesSpecialOperationsCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
leaderPosition
Organizzazione
and
Posizione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
subordinatePosition
Organizzazione
,
Posizione
and
Organizzazione
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
Organizzazione
è un'
istanza
di
JointForces
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
is
uguale
a
Organizzazione
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
leaderPosition
Organizzazione
and
Organizzazione
COMMANDER
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2085-2090
Organizzazione
è un'
istanza
di
JudicialOrganization
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
GovernmentOrganization
Organizzazione
è un'
istanza
di
GovernmentOrganization
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1930-1935
Organizzazione
è un'
istanza
di
LegislativeOrganization
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
GovernmentOrganization
Organizzazione
è un'
istanza
di
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 8525-8535
Organizzazione
è un'
istanza
di
SecurityUnit
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è
obbligato
a compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Mantenere
Entit�
è un
agente
di
Organizzazione
Organizzazione
è un
paziente
di
Entit�
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16719-16723
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
GovernmentOrganization
Organizzazione
è un'
istanza
di
GovernmentOrganization
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
Organizzazione
è un'
istanza
di
GovernmentOrganization
Organizzazione
è un'
istanza
di
Governo
Organizzazione
Organizzazione
è un'
istanza
di
Governo
subOrganization
Organizzazione
and
Organizzazione
(=>
(
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
AreaGeopolitica
,
Organizzazione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
Organizzazione
Organizzazione
è un'
istanza
di
Organizzazione
Organizzazione
è
localizzato
in
AutonomousAgent
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
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
Organizzazione
,
Organizzazione
and
AutonomousAgent
Organizzazione
è un'
istanza
di
Organizzazione
AutonomousAgent
è un'
istanza
di
AreaGeopolitica
Organizzazione
Organizzazione
è un'
istanza
di
Organizzazione
Organizzazione
è
localizzato
in
AutonomousAgent
subOrganization
Organizzazione
and
Organizzazione
(=>
(
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
AreaGeopolitica
,
Umano
,
Posizione
and
AutonomousAgent
AreaGeopolitica
è un'
istanza
di
Nazione
Organizzazione
Organizzazione
è un'
istanza
di
DiplomaticOrganization
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
Umano
occupa la
posizione
di
Posizione
in
Organizzazione
(=>
(
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
%è un
elemento
di %2
attribute
Oggetto
and
AnnexRoom
Oggetto
è un'
istanza
di
HotelRoom
Oggetto
Oggetto
and
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
HotelFrontDesk
Organizzazione
è
localizzato
in
Oggetto
%è un
elemento
di %2 %è un
elemento
di %2
Oggetto
è una
parte
di
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
executiveBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1301-1305
executiveBranch
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
(=>
(
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
AreaGeopolitica
and
FormOfGovernment
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
FormOfGovernment
è un
sottoattributo
di
ParliamentaryGovernment
Organizzazione
Organizzazione
è un'
istanza
di
Parliament
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
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
è un'
istanza
di
Evacuation
Processo
è un
agente
di
Organizzazione
AutonomousAgent
esperisce
s
Processo
Processo
Processo
A
Processo
è un'
istanza
di
Classificare
Processo
è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
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
è un'
istanza
di
Evacuation
Processo
è un
agente
di
Organizzazione
Processo
si
originas in
Oggetto
Processo
Processo
A
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
Oggetto
Processo
A
esperisce
s
Processo
Processo
è un
agente
di
Processo
A
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
(=>
(
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
è un'
istanza
di
Evacuation
AutonomousAgent
esperisce
s
Processo
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
ProcessoTerapeutico
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
AutonomousAgent
esperisce
s
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
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Mantenere
eventLocated
Processo
and
Oggetto
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
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
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Trasporto
Processo
fine
s in
Oggetto
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
Processo
A è un
paziente
di
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 16304-16323
Processo
è un'
istanza
di
OrganizationalMerging
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
is
uguale
a
Entit�
Entit�
subOrganization
Entit�
and
Entit�
subOrganization
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
subOrganization
Entit�
and
Entit�
subOrganization
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
Organizzazione
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
judicialBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
judicialBranch
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
legislativeBranch
Organizzazione
and
Organizzazione
Organizzazione
è un'
istanza
di
Organizzazione
subOrganization
Organizzazione
and
Organizzazione
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
legislativeBranch
Organizzazione
and
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
subOrganization
Organizzazione
and
GovernmentFn
AreaGeopolitica
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
subEchelon
MilitaryUnit
and
MilitaryUnit
Organizzazione
è un'
istanza
di
MilitaryUnit
Organizzazione
Organizzazione
è un'
istanza
di
MilitaryUnit
subOrganization
Organizzazione
and
Organizzazione
(=>
(
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
OggettoSemiotico
è una
sottoclasse
di
JointPublication
ContentBearingPhysical
è un'
istanza
di
OggettoSemiotico
ContentBearingPhysical
contiene
s informazione
Formula
AutonomousAgent
è l'
autore
di
OggettoSemiotico
Organizzazione
subOrganization
Organizzazione
and
USMilitary
AutonomousAgent
obbliga
Organizzazione
a compiere il compito di 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
attribute
Oggetto
and
ExpeditionaryForce
Oggetto
ha
scopo
Entit�
Entit�
and
Entit�
subOrganization
Oggetto
and
GovernmentFn
Entit�
Entit�
è un'
istanza
di
Battaglia
Entit�
è un
agente
di
Oggetto
Entit�
è un'
istanza
di
Nazione
Entit�
è
localizzato
in
Entit�
Entit�
is
uguale
a
Entit�
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
businessUnit
Organizzazione
and
Business
subOrganization
Organizzazione
and
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 8426-8434
hostileForces
MilitaryUnit
and
MilitaryUnit
Competizione
AreaGeopolitica
and
AreaGeopolitica
Competizione
è un'
istanza
di
Guerra
contestParticipant
Competizione
and
AreaGeopolitica
contestParticipant
Competizione
and
AreaGeopolitica
subOrganization
MilitaryUnit
and
GovernmentFn
AreaGeopolitica
subOrganization
MilitaryUnit
and
GovernmentFn
AreaGeopolitica
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
subOrganization
Aetna
and
CVS
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
subOrganization
CommissionForSocialDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
subOrganization
CommissionOnHumanRights
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
subOrganization
CommissionOnNarcoticsDrugs
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
subOrganization
CommissionOnPopulationAndDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
subOrganization
CommissionOnSustainableDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
subOrganization
CommissionOnTheStatusOfWomen
and
EconomicAndSocialCouncil
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
subOrganization
DepartmentOfHomelandSecurity
and
GovernmentFn
UnitedStates
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
and
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
subOrganization
EconomicAndSocialCommissionForWesternAsia
and
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
subOrganization
EconomicAndSocialCouncil
and
UnitedNations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
subOrganization
EconomicCommissionForAfrica
and
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
subOrganization
EconomicCommissionForEurope
and
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
and
EconomicAndSocialCouncil
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
subOrganization
FitbitCompany
and
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
subOrganization
FoodAndAgricultureOrganization
and
EconomicAndSocialCouncil
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
subOrganization
GoogleCorporation
and
AlphabetCorporation
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4511-4511
subOrganization
HoldenCorporation
and
GeneralMotorsCorp
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
subOrganization
InternationalAtomicEnergyAgency
and
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
subOrganization
InternationalBankForReconstructionAndDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
subOrganization
InternationalBankForReconstructionAndDevelopment
and
UnitedNations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
subOrganization
InternationalBankForReconstructionAndDevelopment
and
WorldBankGroup
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
and
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