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 and
Organization
(
domain
subOrganization
2
Organization
)
Merge.kif 16744-16744
域
子組織
, 2 and
Organization
(
instance
subOrganization
PartialOrderingRelation
)
Merge.kif 16742-16742
例
子組織
and
PartialOrderingRelation
(
subrelation
subOrganization
subCollection
)
Merge.kif 16741-16741
子關係
子組織
and
子集合
appearance as argument number 2
(
disjointRelation
ancestorOrganization
subOrganization
)
Mid-level-ontology.kif 24170-24170
不相交的關係
祖先組織
and
子組織
(
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
子關係
立法機關
and
子組織
(
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
Organization
and
一院制立法機關
GeopoliticalArea
是
Organization
的
legislative
分支
例
Organization
and
立法院
子組織
Organization
and
政府
GeopoliticalArea
例
Organization
and
立法院
子組織
Organization
and
政府
GeopoliticalArea
等於
Organization
and
Organization
(=>
(
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
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
AutonomousAgent
是
agent
運作在
Organization
地區
(=>
(
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
等於
Organization
and
DepartmentOfFn
Organization
and
Physical
子組織
Organization
and
Organization
等於
Organization
and
Organization
例
Entity
and
Physical
在感興趣的範圍內
Organization
and
Entity
等於
RealNumber
and
可能性
agent
entity
and
Organization
等於
entity
and
可能性
agent
entity
and
Organization
比較多
RealNumber
and
entity
(=>
(
and
(
equal
?DEP
(
DepartmentOfPreventingFn
?COMP ?PHYS))
(
subclass
?PHYS
Process
)
(
subOrganization
?DEP ?COMP))
(
inhibits
?DEP ?PHYS))
Mid-level-ontology.kif 18401-18406
等於
Organization
and
DepartmentOfPreventingFn
Organization
and
Physical
子類
Physical
and
Process
子組織
Organization
and
Organization
抑制
Organization
and
Physical
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
GeopoliticalArea
是
Organization
的
executive
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
Organization
子組織
Organization
and
政府
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
例
Organization
and
政府內閣
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
有目的
Organization
and
entity
entity
例
entity
and
Stating
agent
entity
and
Organization
患者
entity
and
entity
政府
GeopoliticalArea
是
entity
的
leader
(=>
(
and
(
instance
?COURT
SupremeCourt
)
(
subOrganization
?COURT
(
GovernmentFn
?COUNTRY))
(
instance
?COUNTRY
Nation
))
(
instance
?COURT
(
SupremeCourtFn
?COUNTRY)))
Government.kif 2191-2196
例
Organization
and
最高法院
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
Nation
例
Organization
and
GeopoliticalArea
的
supreme
法庭
(=>
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16691-16695
例
Organization
and
Government
子組織
Organization
and
Organization
例
Organization
and
政府組織
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
AirForce
))
(
leaderPosition
?FORCE1
JointForcesAirCommander
))
MilitaryPersons.kif 371-376
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
空軍
聯合部隊空軍司令
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
Army
))
(
leaderPosition
?FORCE1
JointForcesLandCommander
))
MilitaryPersons.kif 393-398
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
軍隊
聯合部隊陸軍指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
CoastGuard
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 425-430
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
海岸警衛隊
聯合部隊海上指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
NavyBranchOfService
))
(
leaderPosition
?FORCE1
JointForcesMaritimeCommander
))
MilitaryPersons.kif 417-422
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
NavyBranchOfService
聯合部隊海上指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
instance
?FORCE1
SpecialOperationsForces
))
(
leaderPosition
?FORCE1
JointForcesSpecialOperationsCommander
))
MilitaryPersons.kif 446-451
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
例
Organization
and
特種作戰部隊
聯合部隊特種作戰指揮官
是
Organization
的
leader
職位
(=>
(
and
(
instance
?JOINT
JointForces
)
(
subOrganization
?FORCE1 ?JOINT)
(
leaderPosition
?FORCE1 ?COMMANDER1)
(
leaderPosition
?JOINT ?JOINTCOMMANDER))
(
subordinatePosition
?JOINT ?COMMANDER1 ?JOINTCOMMANDER))
MilitaryProcesses.kif 1751-1757
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
Position
是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
是 對於 %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
例
Organization
and
聯合部隊
子組織
Organization
and
Organization
子組織
Organization
and
Organization
等於
Organization
and
Organization
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
Organization
COMMANDER 是
Organization
的
leader
職位
(=>
(
and
(
instance
?ORG
JudicialOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2085-2090
例
Organization
and
司法組織
子組織
Organization
and
Organization
例
Organization
and
政府組織
例
Organization
and
政府組織
(=>
(
and
(
instance
?ORG
LegislativeOrganization
)
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 1930-1935
例
Organization
and
立法組織
子組織
Organization
and
Organization
例
Organization
and
政府組織
例
Organization
and
政府組織
(=>
(
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
例
Organization
and
安全部門
子組織
Organization
and
Organization
持有義務
entity
例
entity
and
Maintaining
agent
entity
and
Organization
患者
entity
and
Organization
and
Organization
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
GeopoliticalArea
是
Organization
的
judicial
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
Organization
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
subOrganization
?ORG ?GOV)
(
instance
?GOV
GovernmentOrganization
))
(
instance
?ORG
GovernmentOrganization
))
Merge.kif 16697-16701
子組織
Organization
and
Organization
例
Organization
and
政府組織
例
Organization
and
政府組織
consequent
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
例
Organization
and
政府組織
例
Organization
and
Government
Organization
例
Organization
and
Government
子組織
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
GeopoliticalArea
是 對於 %3 的
diplomatic
類別
例
GeopoliticalArea
and
Nation
例
AutonomousAgent
and
GeopoliticalArea
Organization
例
Organization
and
Organization
位於
Organization
and
AutonomousAgent
子組織
Organization
and
政府
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
Organization
是 對於 %3 的
diplomatic
類別
例
Organization
and
Organization
例
AutonomousAgent
and
GeopoliticalArea
Organization
例
Organization
and
Organization
位於
Organization
and
AutonomousAgent
子組織
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
GeopoliticalArea
是 對於
Position
和
AutonomousAgent
的外交代表在角色
Human
例
GeopoliticalArea
and
Nation
Organization
例
Organization
and
外交組織
子組織
Organization
and
政府
GeopoliticalArea
佔據位置
Human
,
Position
and
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
元件
Object
and
屬性
Organization
attribute
Object
and
AnnexRoom
例
Object
and
HotelRoom
Object
Object
and
Organization
子組織
Organization
and
Organization
例
Organization
and
HotelFrontDesk
位於
Organization
and
Object
元件
Object
and
屬性
Organization
元件
Object
and
屬性
Organization
部分
Object
and
Object
等於
Object
and
Object
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 1313-1318
GeopoliticalArea
是
Organization
的
executive
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
Organization
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
executiveBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 1307-1311
GeopoliticalArea
是
Organization
的
executive
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
executiveBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 1301-1305
Organization
是
Organization
的
executive
分支
例
Organization
and
Organization
子組織
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
%2 是 1% 的
government
類別
例
GeopoliticalArea
and
GeopoliticalArea
子屬性
政體
and
議會政府
Organization
例
Organization
and
議會
子組織
Organization
and
政府
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
例
Process
and
疏散
agent
Process
and
Organization
體驗者
Process
and
AutonomousAgent
Process
Process
A
例
Process
and
Classifying
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
例
Process
and
疏散
agent
Process
and
Organization
起源
Process
and
Object
Process
Process
A
例
Process
and
易位
子過程
Process
and
Process
起源
Process
and
Object
體驗者
Process
and
Process
A
agent
Process
and
Process
A
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
(=>
(
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
例
Process
and
疏散
體驗者
Process
and
AutonomousAgent
agent
Process
and
Organization
Process
Process
A
例
Process
and
TherapeuticProcess
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
Process
and
疏散
起源
Process
and
Object
agent
Process
and
Organization
Process
Process
A
例
Process
and
Maintaining
Process
是
located
在
Object
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
例
Process
and
疏散
起源
Process
and
Object
agent
Process
and
Organization
Process
Process
A
例
Process
and
Transportation
目的地
Process
and
Object
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
患者
Process
and
Process
A
(=>
(
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
例
Process
and
組織合併
患者
Process
and
Entity
患者
Process
and
Entity
等於
Entity
and
Entity
持有期間
開始
何時
Process
and
entity
子組織
Entity
and
entity
子組織
Entity
and
entity
持有期間
結束
何時
Process
and
entity
子組織
Entity
and
entity
子組織
Entity
and
entity
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
GeopoliticalArea
是
Organization
的
judicial
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
Organization
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
GeopoliticalArea
是
Organization
的
judicial
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
judicialBranch
?BRANCH ?ORG)
(
instance
?ORG
Organization
))
(
subOrganization
?BRANCH ?ORG))
Government.kif 2118-2122
Organization
是
Organization
的
judicial
分支
例
Organization
and
Organization
子組織
Organization
and
Organization
(=>
(
and
(
legislativeBranch
?ORG ?AGENT)
(
instance
?AGENT
Organization
))
(
subOrganization
?ORG ?AGENT))
Government.kif 2023-2027
Organization
是
Organization
的
legislative
分支
例
Organization
and
Organization
子組織
Organization
and
Organization
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
GeopoliticalArea
是
Organization
的
legislative
分支
例
GeopoliticalArea
and
GeopoliticalArea
子組織
Organization
and
政府
GeopoliticalArea
(=>
(
and
(
subEchelon
?MUClass1 ?MUClass2)
(
instance
?MU1 ?MUClass1))
(
exists
(?MU2)
(
and
(
instance
?MU2 ?MUClass2)
(
subOrganization
?MU1 ?MU2))))
Military.kif 693-700
軍事單位
是
軍事單位
的
sub
梯隊
例
Organization
and
軍事單位
Organization
例
Organization
and
軍事單位
子組織
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
子類
ContentBearingObject
and
聯合出版物
例
內容承載物理
and
ContentBearingObject
包含信息
內容承載物理
and
Formula
作者
AutonomousAgent
and
ContentBearingObject
Organization
子組織
Organization
and
美軍
授予義務
Formula
,
AutonomousAgent
and
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
attribute
Object
and
ExpeditionaryForce
有目的
Object
and
entity
entity
and
entity
子組織
Object
and
政府
entity
例
entity
and
Battle
agent
entity
and
Object
例
entity
and
Nation
位於
entity
and
entity
等於
entity
and
entity
(=>
(
businessUnit
?BU ?ORG)
(
subOrganization
?BU ?ORG))
UXExperimentalTerms.kif 2559-2561
Organization
是
Business
的
business
單位
子組織
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 8427-8435
軍事單位
是
軍事單位
的
hostile
力量
Contest
GeopoliticalArea
and
GeopoliticalArea
例
Contest
and
War
GeopoliticalArea
participates
在
Contest
GeopoliticalArea
participates
在
Contest
子組織
軍事單位
and
政府
GeopoliticalArea
子組織
軍事單位
and
政府
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
子組織
Aetna
and
CVS
(
subOrganization
CommissionForSocialDevelopment
EconomicAndSocialCouncil
)
Government.kif 3077-3077
子組織
社會發展委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnCrimePreventionAndCriminalJustice
EconomicAndSocialCouncil
)
Government.kif 3079-3079
子組織
預防犯罪和刑事司法委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnHumanRights
EconomicAndSocialCouncil
)
Government.kif 3081-3081
子組織
人權委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnNarcoticsDrugs
EconomicAndSocialCouncil
)
Government.kif 3083-3083
子組織
麻醉藥品委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnPopulationAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3085-3085
子組織
人口與發展委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnScienceAndTechnologyForDevelopment
EconomicAndSocialCouncil
)
Government.kif 3087-3087
子組織
科學和技術促進發展委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnSustainableDevelopment
EconomicAndSocialCouncil
)
Government.kif 3089-3089
子組織
可持續發展委員會
and
經濟和社會理事會
(
subOrganization
CommissionOnTheStatusOfWomen
EconomicAndSocialCouncil
)
Government.kif 3091-3091
子組織
婦女地位委員會
and
經濟和社會理事會
(
subOrganization
DepartmentOfHomelandSecurity
(
GovernmentFn
UnitedStates
))
Government.kif 4828-4828
子組織
國土安全部
and
政府
美國
(
subOrganization
EconomicAndSocialCommissionForAsiaAndThePacific
EconomicAndSocialCouncil
)
Government.kif 3093-3093
子組織
亞洲及太平洋經濟社會委員會
and
經濟和社會理事會
(
subOrganization
EconomicAndSocialCommissionForWesternAsia
EconomicAndSocialCouncil
)
Government.kif 3095-3095
子組織
西亞經濟社會委員會
and
經濟和社會理事會
(
subOrganization
EconomicAndSocialCouncil
UnitedNations
)
Government.kif 3076-3076
子組織
經濟和社會理事會
and
聯合國
(
subOrganization
EconomicCommissionForAfrica
EconomicAndSocialCouncil
)
Government.kif 3097-3097
子組織
非洲經濟委員會
and
經濟和社會理事會
(
subOrganization
EconomicCommissionForEurope
EconomicAndSocialCouncil
)
Government.kif 3099-3099
子組織
歐洲經濟委員會
and
經濟和社會理事會
(
subOrganization
EconomicCommissionForLatinAmericaAndTheCaribbean
EconomicAndSocialCouncil
)
Government.kif 3101-3101
子組織
拉丁美洲和加勒比經濟委員會
and
經濟和社會理事會
(
subOrganization
FitbitCompany
Google
)
Medicine.kif 4472-4472
子組織
FitbitCompany
and
Google
(
subOrganization
FoodAndAgricultureOrganization
EconomicAndSocialCouncil
)
Government.kif 3103-3103
子組織
糧食及農業組織
and
經濟和社會理事會
(
subOrganization
GoogleCorporation
AlphabetCorporation
)
ComputingBrands.kif 17-17
子組織
GoogleCorporation
and
Alphabet公司
(
subOrganization
HoldenCorporation
GeneralMotorsCorp
)
Cars.kif 4503-4503
子組織
HoldenCorporation
and
GeneralMotorsCorp
(
subOrganization
InternationalAtomicEnergyAgency
EconomicAndSocialCouncil
)
Government.kif 3104-3104
子組織
國際原子能機構
and
經濟和社會理事會
(
subOrganization
InternationalBankForReconstructionAndDevelopment
EconomicAndSocialCouncil
)
Government.kif 3105-3105
子組織
國際重建和發展銀行
and
經濟和社會理事會
(
subOrganization
InternationalBankForReconstructionAndDevelopment
UnitedNations
)
Government.kif 3416-3416
子組織
國際重建和發展銀行
and
聯合國
(
subOrganization
InternationalBankForReconstructionAndDevelopment
WorldBankGroup
)
Government.kif 4319-4319
子組織
國際重建和發展銀行
and
世界銀行集團
(
subOrganization
InternationalCenterForSecretariatOfInvestmentDisputes
EconomicAndSocialCouncil
)
Government.kif 3106-3106
子組織
國際投資爭端秘書處
and
經濟和社會理事會
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