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
Die Zahl 1 Argument von
subOrganization
ist ein
fall
von
Organization
%n{nicht}
(
domain
subOrganization
2
Organization
)
Merge.kif 16766-16766
Die Zahl 2 Argument von
subOrganization
ist ein
fall
von
Organization
%n{nicht}
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16764-16764
subOrganization
ist ein
fall
von
PartialOrderingRelation
%n{nicht}
(
subrelation
subOrganization
subCollection
)
Merge.kif 16763-16763
subOrganization
ist eine
teilrelation
von
teilsammlung
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24169-24169
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 2060-2060
chamberOfLegislature
ist eine
teilrelation
von
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
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 4511-4519
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 18342-18357
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 18400-18405
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 1313-1318
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 1513-1524
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 2191-2196
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 16713-16717
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 2085-2090
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 1930-1935
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 8525-8535
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 2130-2135
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 16719-16723
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 4648-4657
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 4658-4667
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 4470-4478
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 1313-1318
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 1307-1311
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 1301-1305
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 16304-16323
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 2130-2135
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 2124-2128
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 2118-2122
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 2023-2027
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 2029-2033
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 8426-8434
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 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