Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
subOrganization
Sigma KEE - subOrganization
subOrganization
appearance as argument number 1
(
documentation
subOrganization
ChineseLanguage
"(
subOrganization
?ORG1 ?ORG2)的意思是 ?ORG1 是一家
Organization
,而它是
Organization
?ORG2 的一部分。注:
subOrganization
属于 一种
ReflexiveRelation
,所以每一个
Organization
都是他自己的
subOrganization
。")
chinese_format.kif 3751-3753
(
documentation
subOrganization
EnglishLanguage
"(
subOrganization
?ORG1 ?ORG2) means that ?ORG1 is an
Organization
which is a part of the
Organization
?ORG2. Note that
subOrganization
is a
ReflexiveRelation
, so every
Organization
is a
subOrganization
of itself.")
Merge.kif 16745-16748
(
domain
subOrganization
1
Organization
)
Merge.kif 16743-16743
subOrganization
の数値 1 引数は
組織
の
instance
では %n
(
domain
subOrganization
2
Organization
)
Merge.kif 16744-16744
subOrganization
の数値 2 引数は
組織
の
instance
では %n
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16742-16742
subOrganization
は
半順序関係
の
instance
では %n
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
subOrganization
は
subCollection
の
subrelation
では %n
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24170-24170
ancestorOrganization
と
subOrganization
は
disjoint
では %n
(
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
は
subOrganization
の
subrelation
では %n
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55764-55764
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55763-55763
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55762-55762
antecedent
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1977-1985
UnicameralLegislature
は
組織
の
attribute
では %n
legislativeBranch
組織
and
地政学的地域
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
組織
は
LegislativeChamber
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
組織
は
組織
と
equal
では %n
(=>
(
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
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
AutonomousAgent
は
地政学的地域
の
instance
では %n
agentOperatesInArea
組織
and
AutonomousAgent
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?DEP ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18343-18358
組織
は
DepartmentOfFn
組織
and
物理
と
equal
では %n
組織
2 は組織
組織
の一部では %n
組織
は
組織
2 と
equal
では
エンティティー
は
物理
の
instance
では %n
組織
は
エンティティー
に
interested
が %n
実数
は
組織
は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
エンティティー
2 は
組織
2 は
エンティティー
の
agent
では %n の
probability
と
equal
では %n
実数
は
エンティティー
2 より
greater
では %n
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
組織
は
DepartmentOfPreventingFn
組織
and
物理
と
equal
では %n
物理
は
工程
の
subclass
では %n
組織
は組織
組織
の一部では %n
組織
は
物理
を
inhibit
s %n{ない
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
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
組織
は
GovernmentCabinet
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は
エンティティー
エンティティー
エンティティー
は
記載
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
leader
エンティティー
and
地政学的地域
の
government
の 目的 %n{ない}
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
組織
は
SupremeCourt
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
国民
の
instance
では %n
組織
は
SupremeCourtFn
地政学的地域
の
instance
では %n
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16691-16695
組織
は
政府
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
GovernmentOrganization
の
instance
では %n
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
AirForce
の
instance
では %n
leaderPosition
組織
and
JointForcesAirCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
Army
の
instance
では %n
leaderPosition
組織
and
JointForcesLandCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
CoastGuard
の
instance
では %n
leaderPosition
組織
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
NavyBranchOfService
の
instance
では %n
leaderPosition
組織
and
JointForcesMaritimeCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
SpecialOperationsForces
の
instance
では %n
leaderPosition
組織
and
JointForcesSpecialOperationsCommander
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
leaderPosition
組織
and
ポジション
leaderPosition
組織
and
組織
COMMANDER
subordinatePosition
組織
,
ポジション
and
組織
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
組織
は
JointForces
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
組織
の一部では %n
組織
は
組織
と
equal
では
leaderPosition
組織
and
組織
COMMANDER
leaderPosition
組織
and
組織
COMMANDER
leaderPosition
組織
and
組織
COMMANDER
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2085-2090
組織
は
JudicialOrganization
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
GovernmentOrganization
の
instance
では %n
組織
は
GovernmentOrganization
の
instance
では %n
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1930-1935
組織
は
LegislativeOrganization
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は
GovernmentOrganization
の
instance
では %n
組織
は
GovernmentOrganization
の
instance
では %n
(=>
(
and
(
instance
?UNIT
SecurityUnit
)
(
subOrganization
?UNIT ?ORG))
(
holdsObligation
(
exists
(?MAINTAIN)
(
and
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?UNIT)
(
patient
?MAINTAIN ?ORG))) ?UNIT))
Mid-level-ontology.kif 8526-8536
組織
は
SecurityUnit
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
はタイプ
エンティティー
エンティティー
は
維持
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
組織
は
エンティティー
の
patient
では %n のタスクを実行する
obliged
%n
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16697-16701
組織
は組織
組織
の一部では %n
組織
は
GovernmentOrganization
の
instance
では %n
組織
は
GovernmentOrganization
の
instance
では %n
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
組織
は
GovernmentOrganization
の
instance
では %n
組織
は
政府
の
instance
では %n
組織
組織
は
政府
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
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
地政学的地域
,
組織
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
組織
は
組織
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
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
組織
,
組織
and
AutonomousAgent
組織
は
組織
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
組織
は
組織
の
instance
では %n
組織
は
AutonomousAgent
に
located
して %n
組織
は組織
組織
の一部では %n
(=>
(
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
地政学的地域
,
人[人間]
,
ポジション
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
組織
組織
は
DiplomaticOrganization
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
人[人間]
は
組織
の
ポジション
の
position
を holds %n{ない}
(=>
(
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
オブジェクト
は
組織
の
belongings
の
element
%n
AnnexRoom
は
オブジェクト
の
attribute
では %n
オブジェクト
は
HotelRoom
の
instance
では %n
オブジェクト
オブジェクト
and
組織
組織
は組織
組織
の一部では %n
組織
は
HotelFrontDesk
の
instance
では %n
組織
は
オブジェクト
に
located
して %n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
組織
の
belongings
の
element
%n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
executiveBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
executiveBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1301-1305
executiveBranch
組織
and
組織
組織
は
組織
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
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
地政学的地域
and
FormOfGovernment
地政学的地域
は
地政学的地域
の
instance
では %n
FormOfGovernment
は
ParliamentaryGovernment
の
subattribute
では %n
組織
組織
は
Parliament
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
A
工程
は
分類
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
工程
A
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
A が
工程
を
experience
s %n{ない}
工程
A は
工程
の
agent
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
治療経過
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
維持
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
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
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
交通手段
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
工程
A は
工程
の
patient
では %n
(=>
(
and
(
instance
?M
OrganizationalMerging
)
(
patient
?M ?ORG1)
(
patient
?M ?ORG2)
(
not
(
equal
?ORG1 ?ORG2)))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?M))
(
not
(
exists
(?S1)
(
and
(
subOrganization
?ORG1 ?S1)
(
subOrganization
?ORG2 ?S1)))))
(
holdsDuring
(
EndFn
(
WhenFn
?M))
(
exists
(?S2)
(
and
(
subOrganization
?ORG1 ?S2)
(
subOrganization
?ORG2 ?S2))))))
Mid-level-ontology.kif 16305-16324
工程
は
OrganizationalMerging
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
エンティティー
と
equal
では
エンティティー
エンティティー
は組織
エンティティー
の一部では %n
エンティティー
は組織
エンティティー
の一部では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
エンティティー
は組織
エンティティー
の一部では %n
エンティティー
は組織
エンティティー
の一部では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
judicialBranch
組織
and
組織
組織
は
組織
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
legislativeBranch
組織
and
組織
組織
は
組織
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
legislativeBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
subEchelon
MilitaryUnit
and
MilitaryUnit
組織
は
MilitaryUnit
の
instance
では %n
組織
組織
は
MilitaryUnit
の
instance
では %n
組織
は組織
組織
の一部では %n
(=>
(
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
コンテンツベアリングオブジェクト
は
JointPublication
の
subclass
では %n
ContentBearingPhysical
は
コンテンツベアリングオブジェクト
の
instance
では %n
ContentBearingPhysical
は
公式
の情報を
contain
s %n{ない}
AutonomousAgent
は
コンテンツベアリングオブジェクト
の
author
では %n
組織
組織
は組織
USMilitary
の一部では %n
AutonomousAgent
は
組織
にタイプ
公式
のタスクを実行する
obligate
s %n{ない}
(=>
(
attribute
?U
ExpeditionaryForce
)
(
hasPurpose
?U
(
exists
(?B ?C ?FC)
(
and
(
subOrganization
?U
(
GovernmentFn
?C))
(
instance
?B
Battle
)
(
agent
?B ?U)
(
instance
?FC
Nation
)
(
located
?B ?FC)
(
not
(
equal
?C ?FC))))))
MilitaryPersons.kif 712-724
ExpeditionaryForce
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
and
エンティティー
オブジェクト
は組織
エンティティー
の
government
の一部では %n
エンティティー
は
戦い
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
国民
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
businessUnit
組織
and
Business
組織
は組織
Business
の一部では %n
(=>
(
hostileForces
?U1 ?U2)
(
exists
(?WAR ?A1 ?A2)
(
and
(
instance
?WAR
War
)
(
contestParticipant
?WAR ?A1)
(
contestParticipant
?WAR ?A2)
(
subOrganization
?U1
(
GovernmentFn
?A1))
(
subOrganization
?U2
(
GovernmentFn
?A2)))))
Mid-level-ontology.kif 8427-8435
hostileForces
MilitaryUnit
and
MilitaryUnit
コンテスト
地政学的地域
and
地政学的地域
コンテスト
は
戦争
の
instance
では %n
contestParticipant
コンテスト
and
地政学的地域
contestParticipant
コンテスト
and
地政学的地域
MilitaryUnit
は組織
地政学的地域
の
government
の一部では %n
MilitaryUnit
は組織
地政学的地域
の
government
の一部では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
(
subOrganization
Aetna
CVS
)
Medicine.kif 5558-5558
Aetna
は組織
CVS
の一部では %n
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
CommissionForSocialDevelopment
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
CommissionOnCrimePreventionAndCriminalJustice
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
CommissionOnHumanRights
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
CommissionOnNarcoticsDrugs
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
CommissionOnPopulationAndDevelopment
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
CommissionOnScienceAndTechnologyForDevelopment
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
CommissionOnSustainableDevelopment
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
CommissionOnTheStatusOfWomen
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
DepartmentOfHomelandSecurity
は組織
UnitedStates
の
government
の一部では %n
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
EconomicAndSocialCommissionForAsiaAndThePacific
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
EconomicAndSocialCommissionForWesternAsia
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
EconomicAndSocialCouncil
は組織
UnitedNations
の一部では %n
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
EconomicCommissionForAfrica
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
EconomicCommissionForEurope
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
EconomicCommissionForLatinAmericaAndTheCaribbean
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
FitbitCompany
は組織
Google
の一部では %n
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
FoodAndAgricultureOrganization
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
GoogleCorporation
は組織
Alphabet
の一部では %n
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4503-4503
HoldenCorporation
は組織
GeneralMotorsCorp
の一部では %n
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
InternationalAtomicEnergyAgency
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
InternationalBankForReconstructionAndDevelopment
は組織
EconomicAndSocialCouncil
の一部では %n
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
InternationalBankForReconstructionAndDevelopment
は組織
UnitedNations
の一部では %n
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
InternationalBankForReconstructionAndDevelopment
は組織
WorldBankGroup
の一部では %n
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
InternationalCenterForSecretariatOfInvestmentDisputes
は組織
EconomicAndSocialCouncil
の一部では %n
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