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 16816-16819
(
domain
subOrganization
1
Organization
)
Merge.kif 16814-16814
Die Zahl 1 Argument von
subOrganization
ist ein
fall
von
Organization
%n{nicht}
(
domain
subOrganization
2
Organization
)
Merge.kif 16815-16815
Die Zahl 2 Argument von
subOrganization
ist ein
fall
von
Organization
%n{nicht}
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16813-16813
subOrganization
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
(
subrelation
subOrganization
subCollection
)
Merge.kif 16812-16812
subOrganization
ist eine
teilrelation
von
teilsammlung
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24227-24227
ancestorOrganization
und
subOrganization
werden
disjunkt
(
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 2024-2024
chamberOfLegislature
ist eine
teilrelation
von
subOrganization
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55766-55766
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55765-55765
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55764-55764
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 1941-1949
Wenn
UnicameralLegislature
ist ein
attribut
von
Organization
%n{nicht} und
legislativeBranch
** Organization
and
GeopoliticalArea
und
** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Organization
ist ein
fall
von
LegislativeChamber
%n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
,
dann
** ** Organization
ist gleich
** ** Organization
%n{nicht}
(=>
(
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 4475-4483
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
agentOperatesInArea
** Organization
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 18370-18385
Wenn
Organization
ist gleich
DepartmentOfFn
** Organization
and
** Physical
%n{nicht} und
subOrganization
** Organization
2 and
** ** Organization
und
** Organization
ist gleich
** Organization
2 nicht und
Entity
ist ein
fall
von
** Physical
%n{nicht} und
** Organization
ist an
** Entity
interessiert
%n{nicht} und
RealNumber
ist gleich die
wahrscheinlichkeit
von
** entity
ist der
agent
von
** Organization
%n{nicht} %n{nicht} und
** ** entity
2 ist gleich die
wahrscheinlichkeit
von
** ** entity
ist der
agent
von
** Organization
2 %n{nicht} %n{nicht},
dann
** RealNumber
ist
groesserAls
** ** entity
2 %n{nicht}
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18428-18433
Wenn
Organization
ist gleich
DepartmentOfPreventingFn
** Organization
and
** Physical
%n{nicht} und
** Physical
ist eine
teilkategorie
von
Process
und
subOrganization
** Organization
and
** ** Organization
,
dann
** Organization
hemmt
** ** Physical
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1277-1282
Wenn
executiveBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
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 1477-1488
Wenn
Organization
ist ein
fall
von
GovernmentCabinet
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
** Organization
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Stating
%n{nicht} und
** entity
ist der
agent
von
** Organization
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
leader
** ** entity
and
GovernmentFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2155-2160
Wenn
Organization
ist ein
fall
von
SupremeCourt
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
** Organization
ist ein
fall
von
SupremeCourtFn
** GeopoliticalArea
%n{nicht}
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16762-16766
Wenn
Organization
ist ein
fall
von
Government
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
** ** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht}
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
AirForce
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Army
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
CoastGuard
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
NavyBranchOfService
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
SpecialOperationsForces
%n{nicht},
dann
leaderPosition
** ** Organization
and
JointForcesSpecialOperationsCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
leaderPosition
** ** Organization
and
Position
und
leaderPosition
** Organization
and
** Organization
COMMANDER,
dann
subordinatePosition
** Organization
,
** Position
and
** Organization
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
Wenn
Organization
ist ein
fall
von
JointForces
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist gleich
** ** Organization
nicht und
leaderPosition
** Organization
and
** Organization
COMMANDER,
dann
leaderPosition
** ** Organization
and
** Organization
COMMANDER und
leaderPosition
** ** Organization
and
** Organization
COMMANDER
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2049-2054
Wenn
Organization
ist ein
fall
von
JudicialOrganization
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht},
dann
** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht}
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1894-1899
Wenn
Organization
ist ein
fall
von
LegislativeOrganization
%n{nicht} und
subOrganization
** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht},
dann
** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht}
(=>
(
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 8553-8563
Wenn
Organization
ist ein
fall
von
SecurityUnit
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
** Organization
wird
gezwungen
, die Aufgabe der Art von es gibt
entity
um
** entity
ist ein
fall
von
Maintaining
%n{nicht} und
** entity
ist der
agent
von
** Organization
%n{nicht} und
** ** Organization
ist ein
patient
von
** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2094-2099
Wenn
judicialBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16768-16772
Wenn
subOrganization
Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht},
dann
** Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht}
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
Organization
ist ein
fall
von
GovernmentOrganization
%n{nicht} genau dann wenn
** Organization
ist ein
fall
von
Government
%n{nicht} oder es gibt
** Organization
um
** ** Organization
ist ein
fall
von
Government
%n{nicht} und
subOrganization
** Organization
and
** ** Organization
(=>
(
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 4612-4621
Wenn
diplomaticOrganizationType
GeopoliticalArea
,
** Organization
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
** Organization
%n{nicht} und
** ** Organization
befindet
sich an %n{nicht} und
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
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 4622-4631
Wenn
diplomaticOrganizationType
Organization
,
** ** Organization
and
AutonomousAgent
und
** Organization
ist ein
fall
von
Organization
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
** ** Organization
%n{nicht} und
** ** Organization
befindet
sich an %n{nicht} und
subOrganization
** ** Organization
and
** Organization
(=>
(
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 4434-4442
Wenn
diplomaticRepresentativeInRole
GeopoliticalArea
,
Human
,
Position
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann es gibt
Organization
um
** Organization
ist ein
fall
von
DiplomaticOrganization
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
und
** Human
besetzt die
position
von
** Position
in
** Organization
(=>
(
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
Wenn
Object
ist ein
element
von
eigentum
von
Organization
%n{nicht} und
AnnexRoom
ist ein
attribut
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
HotelRoom
%n{nicht},
dann es gibt
** Object
,
** Object
, and und
** Organization
um
subOrganization
** ** Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
HotelFrontDesk
%n{nicht} und
** ** Organization
befindet
sich an %n{nicht} und
** ** Object
ist ein
element
von
eigentum
von
** Organization
%n{nicht} und
** ** Object
ist ein
element
von
eigentum
von
** Organization
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1277-1282
Wenn
executiveBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1271-1275
Wenn
executiveBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1265-1269
Wenn
executiveBranch
Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
subOrganization
** Organization
and
** ** Organization
(=>
(
and
(
governmentType
?PLACE ?TYPE)
(
instance
?PLACE
GeopoliticalArea
)
(
subAttribute
?TYPE
ParliamentaryGovernment
))
(
exists
(?ORG)
(
and
(
instance
?ORG
Parliament
)
(
subOrganization
?ORG
(
GovernmentFn
?PLACE)))))
Government.kif 256-264
Wenn
governmentType
GeopoliticalArea
and
FormOfGovernment
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** FormOfGovernment
ist ein
teilattribut
von
ParliamentaryGovernment
,
dann es gibt
Organization
um
** Organization
ist ein
fall
von
Parliament
%n{nicht} und
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
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
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
ist der
agent
von
Organization
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
** Process
und
** ** Process
A um
** ** Process
ist ein
fall
von
Classifying
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
subOrganization
** ** Process
A and
** Organization
oder
** ** Process
A ist ein
Mitglied
von
** Organization
%n{nicht} oder
** ** Process
A ist gleich
** Organization
%n{nicht} und
** ** Process
ist der
agent
von
** ** Process
A %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
ist der
agent
von
Organization
%n{nicht} und
** Process
beginnet an
Object
%n{nicht},
dann es gibt
** Process
und
** ** Process
A um
** ** Process
ist ein
fall
von
Translocation
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** ** Process
beginnet an
** Object
%n{nicht} und
** ** Process
A erfaehrt
** ** Process
%n{nicht} oder
** ** Process
ist der
agent
von
** ** Process
A %n{nicht} und
subOrganization
** ** Process
A and
** Organization
oder
** ** Process
A ist ein
Mitglied
von
** Organization
%n{nicht} oder
** ** Process
A ist gleich
** Organization
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Process
ist der
agent
von
Organization
%n{nicht},
dann es gibt
** Process
und
** ** Process
A um
** ** Process
ist ein
fall
von
TherapeuticProcess
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
subOrganization
** ** Process
A and
** Organization
oder
** ** Process
A ist ein
Mitglied
von
** Organization
%n{nicht} oder
** ** Process
A ist gleich
** Organization
%n{nicht} und
** ** Process
ist der
agent
von
** ** Process
A %n{nicht} und
** AutonomousAgent
erfaehrt
** ** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
** Process
ist der
agent
von
Organization
%n{nicht},
dann es gibt
** Process
und
** ** Process
A um
** ** Process
ist ein
fall
von
Maintaining
%n{nicht} und
eventLocated
** ** Process
and
** Object
und
** ** Process
ist ein
subProzess
von
** Process
und
subOrganization
** ** Process
A and
** Organization
oder
** ** Process
A ist ein
Mitglied
von
** Organization
%n{nicht} oder
** ** Process
A ist gleich
** Organization
%n{nicht} und
** ** Process
ist der
agent
von
** ** Process
A %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evacuation
%n{nicht} und
** Process
beginnet an
Object
%n{nicht} und
** Process
ist der
agent
von
Organization
%n{nicht},
dann es gibt
** Process
und
** ** Process
A um
** ** Process
ist ein
fall
von
Transportation
%n{nicht} und
** ** Process
endet an
** Object
%n{nicht} und
subOrganization
** ** Process
A and
** Organization
oder
** ** Process
A ist ein
Mitglied
von
** Organization
%n{nicht} oder
** ** Process
A ist gleich
** Organization
%n{nicht} und
** ** Process
ist der
agent
von
** ** Process
A %n{nicht} oder
** ** Process
A ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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 16332-16351
Wenn
Process
ist ein
fall
von
OrganizationalMerging
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist gleich
** ** Entity
nicht,
dann es gibt nicht
** entity
um
subOrganization
** Entity
and
** ** entity
und
subOrganization
** ** Entity
and
** ** entity
haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und es gibt
** entity
um
subOrganization
** Entity
and
** ** entity
und
subOrganization
** ** Entity
and
** ** entity
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2094-2099
Wenn
judicialBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
subOrganization
** Organization
and
** Organization
,
dann
subOrganization
** ** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2088-2092
Wenn
judicialBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2082-2086
Wenn
judicialBranch
Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
subOrganization
** Organization
and
** ** Organization
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 1987-1991
Wenn
legislativeBranch
Organization
and
** Organization
und
** ** Organization
ist ein
fall
von
Organization
%n{nicht},
dann
subOrganization
** Organization
and
** ** Organization
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1993-1997
Wenn
legislativeBranch
Organization
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
subOrganization
** Organization
and
GovernmentFn
** GeopoliticalArea
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
Wenn
subEchelon
** MilitaryUnit
and
** ** MilitaryUnit
und
Organization
ist ein
fall
von
** MilitaryUnit
%n{nicht},
dann es gibt
** Organization
um
** ** Organization
ist ein
fall
von
** ** MilitaryUnit
%n{nicht} und
subOrganization
** Organization
and
** ** Organization
(=>
(
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
Wenn
** ContentBearingObject
ist eine
teilkategorie
von
JointPublication
und
ContentBearingPhysical
ist ein
fall
von
** ContentBearingObject
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
Formula
und
AutonomousAgent
ist der
schreiber
von
** ** ContentBearingObject
,
dann es gibt
Organization
um
subOrganization
** Organization
and
USMilitary
und
** AutonomousAgent
zwingt
** Organization
, die Aufgabe der Art von
** Formula
durchzuf�hren %n{nicht}
(=>
(
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
Wenn
ExpeditionaryForce
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
subOrganization
** Object
and
GovernmentFn
** ** entity
und
** entity
ist ein
fall
von
Battle
%n{nicht} und
** entity
ist der
agent
von
** Object
%n{nicht} und
** ** entity
ist ein
fall
von
Nation
%n{nicht} und
** entity
befindet
sich an %n{nicht} und
** ** entity
ist gleich
** ** entity
nicht %n{nicht}
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
Wenn
businessUnit
Organization
and
Business
,
dann
subOrganization
** Organization
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 8454-8462
Wenn
hostileForces
MilitaryUnit
and
** MilitaryUnit
,
dann es gibt
Contest
,
GeopoliticalArea
, and und
** GeopoliticalArea
um
** Contest
ist ein
fall
von
War
%n{nicht} und
contestParticipant
** Contest
and
** GeopoliticalArea
und
contestParticipant
** Contest
and
** ** GeopoliticalArea
und
subOrganization
** MilitaryUnit
and
GovernmentFn
** GeopoliticalArea
und
subOrganization
** ** MilitaryUnit
and
GovernmentFn
** ** GeopoliticalArea
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 3041-3041
subOrganization
CommissionForSocialDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3043-3043
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3045-3045
subOrganization
CommissionOnHumanRights
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3047-3047
subOrganization
CommissionOnNarcoticsDrugs
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3049-3049
subOrganization
CommissionOnPopulationAndDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3051-3051
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3053-3053
subOrganization
CommissionOnSustainableDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3055-3055
subOrganization
CommissionOnTheStatusOfWomen
and
EconomicAndSocialCouncil
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4792-4792
subOrganization
DepartmentOfHomelandSecurity
and
GovernmentFn
UnitedStates
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3057-3057
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
and
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3059-3059
subOrganization
EconomicAndSocialCommissionForWesternAsia
and
EconomicAndSocialCouncil
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3040-3040
subOrganization
EconomicAndSocialCouncil
and
UnitedNations
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3061-3061
subOrganization
EconomicCommissionForAfrica
and
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3063-3063
subOrganization
EconomicCommissionForEurope
and
EconomicAndSocialCouncil
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3065-3065
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
and
EconomicAndSocialCouncil
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
subOrganization
FitbitCompany
and
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3067-3067
subOrganization
FoodAndAgricultureOrganization
and
EconomicAndSocialCouncil
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
subOrganization
GoogleCorporation
and
AlphabetCorporation
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4488-4488
subOrganization
HoldenCorporation
and
GeneralMotorsCorp
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3068-3068
subOrganization
InternationalAtomicEnergyAgency
and
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3069-3069
subOrganization
InternationalBankForReconstructionAndDevelopment
and
EconomicAndSocialCouncil
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3380-3380
subOrganization
InternationalBankForReconstructionAndDevelopment
and
UnitedNations
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4283-4283
subOrganization
InternationalBankForReconstructionAndDevelopment
and
WorldBankGroup
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3070-3070
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