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
子机构
的 1 数量 是
机构
的
instance
(
domain
subOrganization
2
Organization
)
Merge.kif 16744-16744
子机构
的 2 数量 是
机构
的
instance
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16742-16742
子机构
是
偏序关系
的
instance
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
子机构
是
子集
的
subrelation
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24170-24170
祖先组织
和
子机构
是
disjoint
关系
(
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
立法机关
是
子机构
的
subrelation
(
termFormat
ChineseLanguage
subOrganization
"子机构")
chinese_format.kif 550-550
(
termFormat
ChineseLanguage
subOrganization
"子组织")
domainEnglishFormat.kif 55764-55764
(
termFormat
ChineseTraditionalLanguage
subOrganization
"子組織")
domainEnglishFormat.kif 55763-55763
(
termFormat
EnglishLanguage
subOrganization
"sub organization")
domainEnglishFormat.kif 55762-55762
antecedent
(=>
(
and
(
attribute
?ORG
UnicameralLegislature
)
(
legislativeBranch
?ORG ?AREA)
(
instance
?CHAMBER1
LegislativeChamber
)
(
subOrganization
?CHAMBER1
(
GovernmentFn
?AREA))
(
instance
?CHAMBER2
LegislativeChamber
)
(
subOrganization
?CHAMBER2
(
GovernmentFn
?AREA)))
(
equal
?CHAMBER1 ?CHAMBER2))
Government.kif 1977-1985
如果
一院制立法机关
是
机构
的
attribute
和
地缘政治区域
是
那个 机构
的
legislative
分支 和
另一个 机构
是
立法院
的
instance
和
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
第三 机构
是
立法院
的
instance
和
那个 第三 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分,
然后
那个 另外 机构
equal
那个 第三 机构
(=>
(
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
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
和
机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 人类
在
那个 机构
任职
那个 地位
和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 施事体
是
agent
运作在
那个 机构
地区
(=>
(
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
如果
机构
equal
DepartmentOfFn
另一个 机构
and
有点 物理
和
那个 机构
2 是
那个 另外 机构
Organization
的一部分 和
那个 机构
不
equal
那个 机构
2 和
实体
是
有点 物理
的
instance
和
那个 机构
对
那个 实体
感兴趣 和
实数
equal
那个 机构
是
另一个 实体
的
agent
的机率 和
那个 另外 实体
2
equal
那个 机构
2 是
那个 另外 实体
的
agent
的机率,
然后
那个 实数
是
greaterThan
那个 另外 实体
2
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
如果
机构
equal
DepartmentOfPreventingFn
另一个 机构
and
有点 物理
和
有点 物理
是
过程
的
subclass
和
那个 机构
是
那个 另外 机构
Organization
的一部分,
然后
那个 机构
inhibits
那个 有点 物理
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
如果
地缘政治区域
是
机构
的
executive
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
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
如果
机构
是
政府内阁
的
instance
和
那个 机构
是
地缘政治区域
的
Government
Organization
的一部分 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
陈述
的
instance
和
那个 机构
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 地缘政治区域
的
Government
是
那个 另外 实体
的
leader
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
如果
机构
是
最高法院
的
instance
和
那个 机构
是
地缘政治区域
的
Government
Organization
的一部分 和
那个 地缘政治区域
是
国家
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
supreme
法庭 的
instance
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16691-16695
如果
机构
是
政府
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
政府组织
的
instance
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
空军
的
instance
,
然后
联合部队空军司令
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
军队
的
instance
,
然后
联合部队陆军指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
海岸警卫队
的
instance
,
然后
联合部队海上指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
NavyBranchOfService
的
instance
,
然后
联合部队海上指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
特种作战部队
的
instance
,
然后
联合部队特种作战指挥官
是
那个 另外 机构
的
leader
职位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
地位
是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
是 对于 %3 的
subordinate
职位
(=>
(
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
如果
机构
是
联合部队
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分 和
第三 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
不
equal
那个 第三 机构
和
那个 机构
COMMANDER 是
那个 机构
的
leader
职位,
然后
那个 机构
COMMANDER 是
那个 另外 机构
的
leader
职位 和
那个 机构
COMMANDER 是
那个 第三 机构
的
leader
职位
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2085-2090
如果
机构
是
司法组织
的
instance
和
那个 机构
是
另一个 机构
Organization
的一部分 和
那个 另外 机构
是
政府组织
的
instance
,
然后
那个 机构
是
政府组织
的
instance
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1930-1935
如果
机构
是
立法组织
的
instance
和
那个 机构
是
另一个 机构
Organization
的一部分 和
那个 另外 机构
是
政府组织
的
instance
,
然后
那个 机构
是
政府组织
的
instance
(=>
(
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
如果
机构
是
安全部门
的
instance
和
那个 机构
是
另一个 机构
Organization
的一部分,
然后
那个 机构
有义务执行 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 机构
是
那个 实体
的
agent
和
那个 另外 机构
是
那个 实体
的
patient
的任务
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16697-16701
如果
机构
是
另一个 机构
Organization
的一部分 和
那个 另外 机构
是
政府组织
的
instance
,
然后
那个 机构
是
政府组织
的
instance
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
机构
是
政府组织
的
instance
若且唯若
那个 机构
是
政府
的
instance
或 有存在
另一个 机构
这样
那个 另外 机构
是
政府
的
instance
和
那个 机构
是
那个 另外 机构
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
如果
地缘政治区域
是 对于 %3 的
diplomatic
类别 和
那个 地缘政治区域
是
国家
的
instance
和
施事体
是
地缘政治区域
的
instance
,
然后 有存在
机构
这样
那个 机构
是
另一个 有点 机构
的
instance
和
那个 机构
是
located
在
那个 施事体
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
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
如果
机构
是 对于 %3 的
diplomatic
类别 和
那个 机构
是
机构
的
instance
和
施事体
是
地缘政治区域
的
instance
,
然后 有存在
另一个 机构
这样
那个 另外 机构
是
第三 有点 机构
的
instance
和
那个 另外 机构
是
located
在
那个 施事体
和
那个 另外 机构
是
那个 机构
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
如果
地缘政治区域
是 对于
地位
和
施事体
的外交代表在角色
人类
和
那个 地缘政治区域
是
国家
的
instance
,
然后 有存在
机构
这样
那个 机构
是
外交组织
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
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
如果
客体
是
机构
的财产 的
element
和
AnnexRoom
是
那个 客体
的
attribute
和
那个 客体
是
HotelRoom
的
instance
,
然后 有存在
另一个 客体
,
第三 客体
, and 和
另一个 机构
这样
那个 另外 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
HotelFrontDesk
的
instance
和
那个 另外 机构
是
located
在
那个 另外 客体
和
那个 另外 客体
是
那个 机构
的财产 的
element
和
那个 第三 客体
是
那个 机构
的财产 的
element
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
不
equal
那个 第三 客体
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
如果
地缘政治区域
是
机构
的
executive
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
如果
地缘政治区域
是
机构
的
executive
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1301-1305
如果
机构
是
另一个 机构
的
executive
分支 和
那个 机构
是
机构
的
instance
,
然后
那个 另外 机构
是
那个 机构
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
如果 %2 是 1% 的
government
类别 和
地缘政治区域
是
地缘政治区域
的
instance
和
政体
是
议会政府
的
subAttribute
,
然后 有存在
机构
这样
那个 机构
是
议会
的
instance
和
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
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
如果
过程
是
疏散
的
instance
和
机构
是
那个 过程
的
agent
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
分类
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 施事体
经历了
那个 另外 过程
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
(=>
(
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
如果
过程
是
疏散
的
instance
和
机构
是
那个 过程
的
agent
和
客体
是
那个 过程
的源头,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 客体
是
那个 另外 过程
的源头 和
那个 另外 过程
A 经历了
那个 另外 过程
或
那个 另外 过程
A 是
那个 另外 过程
的
agent
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
(=>
(
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
如果
过程
是
疏散
的
instance
和
施事体
经历了
那个 过程
和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
治疗过程
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
和
那个 施事体
经历了
那个 另外 过程
(=>
(
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
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
维护
的
instance
和
那个 另外 过程
是
located
在
那个 客体
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
(=>
(
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
如果
过程
是
疏散
的
instance
和
客体
是
那个 过程
的源头 和
机构
是
那个 过程
的
agent
,
然后 有存在
另一个 过程
和
那个 另外 过程
A 这样
那个 另外 过程
是
运输
的
instance
和
那个 另外 过程
在
那个 客体
结束 和
那个 另外 过程
A 是
那个 机构
Organization
的一部分 或
那个 另外 过程
A 是
那个 机构
的
member
或
那个 另外 过程
A
equal
那个 机构
和
那个 另外 过程
A 是
那个 另外 过程
的
agent
或
那个 另外 过程
A 是
那个 另外 过程
的
patient
(=>
(
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
如果
过程
是
组织合并
的
instance
和
实体
是
那个 过程
的
patient
和
另一个 实体
是
那个 过程
的
patient
和
那个 实体
不
equal
那个 另外 实体
,
然后 不存在
第三 实体
这样
那个 实体
是
那个 第三 实体
Organization
的一部分 和
那个 另外 实体
是
那个 第三 实体
Organization
的一部分 在
那个 过程
出现 的
time
的开始
holdsDuring
和 有存在
第四 实体
这样
那个 实体
是
那个 第四 实体
Organization
的一部分 和
那个 另外 实体
是
那个 第四 实体
Organization
的一部分 在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
如果
机构
是
另一个 机构
的
judicial
分支 和
那个 机构
是
机构
的
instance
,
然后
那个 另外 机构
是
那个 机构
Organization
的一部分
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
如果
机构
是
另一个 机构
的
legislative
分支 和
那个 机构
是
机构
的
instance
,
然后
那个 另外 机构
是
那个 机构
Organization
的一部分
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
如果
地缘政治区域
是
机构
的
legislative
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
如果
有点 军事单位
是
另一个 有点 军事单位
的
sub
梯队 和
机构
是
另一个 有点 军事单位
的
instance
,
然后 有存在
另一个 机构
这样
那个 另外 机构
是
有点 军事单位
的
instance
和
那个 机构
是
那个 另外 机构
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
如果
有点 有内用物体
是
联合出版物
的
subclass
和
内容承载物理
是
有点 有内用物体
的
instance
和
那个 内容承载物理
contains
公式
的资料 和
施事体
是
那个 有点 有内用物体
的
authors
,
然后 有存在
机构
这样
那个 机构
是
美军
Organization
的一部分 和
那个 施事体
要求
那个 机构
执行
那个 公式
的任务
(=>
(
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
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 客体
是
那个 另外 实体
的
Government
Organization
的一部分 和
那个 实体
是
战斗
的
instance
和
那个 客体
是
那个 实体
的
agent
和
那个 第三 实体
是
国家
的
instance
和
那个 实体
是
located
在
那个 第三 实体
和
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
如果
机构
是
Business
的
business
单位,
然后
那个 机构
是
那个 Business
Organization
的一部分
(=>
(
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
如果
军事单位
是
另一个 军事单位
的
hostile
力量,
然后 有存在
比赛
,
地缘政治区域
, and 和
另一个 地缘政治区域
这样
那个 比赛
是
战争
的
instance
和
那个 地缘政治区域
participates
在
那个 比赛
和
那个 另外 地缘政治区域
participates
在
那个 比赛
和
那个 另外 军事单位
是
那个 地缘政治区域
的
Government
Organization
的一部分 和
那个 军事单位
是
那个 另外 地缘政治区域
的
Government
Organization
的一部分
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
Organization
的一部分
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
社会发展委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
预防犯罪和刑事司法委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
人权委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
麻醉药品委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
人口与发展委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
科学和技术促进发展委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
可持续发展委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
妇女地位委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
国土安全部
是
美国
的
Government
Organization
的一部分
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
亚洲及太平洋经济社会委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
西亚经济社会委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
经济和社会理事会
是
联合国
Organization
的一部分
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
非洲经济委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
欧洲经济委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
拉丁美洲和加勒比经济委员会
是
经济和社会理事会
Organization
的一部分
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
FitbitCompany
是
Google
Organization
的一部分
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
粮食及农业组织
是
经济和社会理事会
Organization
的一部分
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
GoogleCorporation
是
Alphabet公司
Organization
的一部分
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4503-4503
HoldenCorporation
是
GeneralMotorsCorp
Organization
的一部分
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
国际原子能机构
是
经济和社会理事会
Organization
的一部分
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
国际重建和发展银行
是
经济和社会理事会
Organization
的一部分
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
国际重建和发展银行
是
联合国
Organization
的一部分
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
国际重建和发展银行
是
世界银行集团
Organization
的一部分
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
国际投资争端秘书处
是
经济和社会理事会
Organization
的一部分
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