Organization
(=>
(
and
(
instance
?JOIN
JoiningAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?PERSON)
(
patient
?JOIN ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?JOIN))
(
not
(
member
?PERSON ?ORG)))
(
holdsDuring
(
EndFn
(
WhenFn
?JOIN))
(
member
?PERSON ?ORG))))
Merge.kif 10578-10586
例
Process
and
JoiningAnOrganization
例
Entity
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
會員
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
會員
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?LEAVE
Firing
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?ORG)
(
patient
?LEAVE ?P))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?P ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?P ?ORG)))))
Merge.kif 10683-10691
例
Process
and
Firing
例
AutonomousAgent
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
會員
Entity
and
AutonomousAgent
持有期間
結束
何時
Process
and
會員
Entity
and
AutonomousAgent
(=>
(
and
(
instance
?LEAVE
LeavingAnOrganization
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?LEAVE))
(
member
?PERSON ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10651-10659
例
Process
and
LeavingAnOrganization
例
Entity
and
Organization
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
會員
AutonomousAgent
and
Entity
持有期間
結束
何時
Process
and
會員
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?LEAVE
Quitting
)
(
instance
?ORG
Organization
)
(
agent
?LEAVE ?PERSON)
(
patient
?LEAVE ?ORG))
(
desires
?PERSON
(
holdsDuring
(
EndFn
(
WhenFn
?LEAVE))
(
not
(
member
?PERSON ?ORG)))))
Merge.kif 10665-10675
例
Process
and
Quitting
例
Entity
and
Organization
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
慾望
CognitiveAgent
and
持有期間
結束
何時
Process
and
會員
CognitiveAgent
and
Entity
(=>
(
and
(
instance
?OP
BeginningOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
starts
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16294-16299
例
TimeInterval
and
開始運營
例
AutonomousAgent
and
Organization
agent
TimeInterval
and
AutonomousAgent
啟動
TimeInterval
and
何時
AutonomousAgent
(=>
(
and
(
instance
?OP
CeasingOperations
)
(
instance
?ORG
Organization
)
(
agent
?OP ?ORG))
(
finishes
?OP
(
WhenFn
?ORG)))
Mid-level-ontology.kif 16331-16336
例
TimeInterval
and
停止運營
例
AutonomousAgent
and
Organization
agent
TimeInterval
and
AutonomousAgent
飾面
TimeInterval
and
何時
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryProductType
?INDUSTRY ?TYPE))
(
exists
(?EVENT ?ITEM)
(
and
(
instance
?EVENT
Making
)
(
instance
?ITEM ?TYPE)
(
agent
?EVENT ?ORG)
(
result
?EVENT ?ITEM))))
Economy.kif 1607-1617
例
AutonomousAgent
and
Organization
attribute
AutonomousAgent
and
行業屬性
Object
是
行業屬性
的
industry
產品類別
Process
Entity
例
Process
and
Making
例
Entity
and
Object
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG ?INDUSTRY)
(
industryServiceType
?INDUSTRY ?TYPE))
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?TYPE)
(
agent
?EVENT ?ORG))))
Economy.kif 1649-1657
例
AutonomousAgent
and
Organization
attribute
AutonomousAgent
and
行業屬性
IntentionalProcess
是
行業屬性
的
industry
服務類別
Process
例
Process
and
IntentionalProcess
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AgricultureForestryFishingAndHunting
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?MEM)
(
exists
(?THING ?EV2 ?MEM2)
(
and
(
or
(
instance
?EV
Killing
)
(
instance
?EV
Maintaining
))
(
patient
?EV ?THING)
(
or
(
instance
?THING
Animal
)
(
instance
?THING
Plant
))
(
not
(
instance
?THING
Human
))
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 50-72
例
Collection
and
Organization
attribute
Collection
and
農業林業捕魚和狩獵
Process
AutonomousAgent
會員
AutonomousAgent
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
Process
and
Killing
例
Process
and
Maintaining
患者
Process
and
Entity
例
Entity
and
Animal
例
Entity
and
Plant
例
Entity
and
Human
會員
AutonomousAgent
and
Collection
例
Process
and
Selling
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
AirTransportationIndustry
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?FLY ?PLANE ?OBJ)
(
and
(
instance
?FLY
Transportation
)
(
or
(
patient
?FLY ?P)
(
and
(
possesses
?P ?OBJ)
(
patient
?FLY ?OBJ)
(
instance
?OBJ
Object
)))
(
possesses
?ORG ?PLANE)
(
instance
?PLANE
Aircraft
))) ?MEM ?P))))))
naics.kif 7953-7978
例
Collection
and
Organization
attribute
Collection
and
航空運輸業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
例
AutonomousAgent
and
Selling
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
CognitiveAgent
LANE and
entity
例
entity
and
Transportation
患者
entity
and
CognitiveAgent
擁有
CognitiveAgent
and
entity
患者
entity
and
entity
例
entity
and
Object
擁有
Collection
and
CognitiveAgent
LANE
例
CognitiveAgent
LANE and
飛機
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ApparelManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 2194-2210
例
Collection
and
Organization
attribute
Collection
and
服裝製造業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
Clothing
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BeverageAndTobaccoProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Beverage
)
(
instance
?THING
TobaccoProduct
))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1837-1855
例
Collection
and
Organization
attribute
Collection
and
飲料和煙草製品製造業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
Beverage
例
Entity
and
煙草製品
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
BuildingMaterialAndGardenEquipmentAndSuppliesDealers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Constructing
resource
?THING)
(
capability
Agriculture
resource
?THING))
(
patient
?EV ?THING))))))
naics.kif 7242-7257
例
Collection
and
Organization
attribute
Collection
and
建築材料和園藝設備及用品經銷商
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Object
例
AutonomousAgent
and
Selling
例
Object
and
Object
能力
Constructing
,
資源
and
Object
能力
農業
,
資源
and
Object
患者
AutonomousAgent
and
Object
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ChemicalManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
PureSubstance
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 3125-3141
例
Collection
and
Organization
attribute
Collection
and
化學製造業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
PureSubstance
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ClothingAndClothingAccessoriesStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Clothing
)
(
patient
?EV ?THING))))))
naics.kif 7509-7521
例
Collection
and
Organization
attribute
Collection
and
服裝和服飾配件商店
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Clothing
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ComputerAndElectronicProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
or
(
instance
?THING
Computer
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
)))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5126-5150
例
Collection
and
Organization
attribute
Collection
and
計算機和電子產品製造業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
電腦
例
Entity
and
Machine
AutonomousAgent
Object
患者
AutonomousAgent
and
Entity
資源
AutonomousAgent
and
Object
例
Object
and
電力
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
Construction
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Constructing
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1080-1095
例
Collection
and
Organization
attribute
Collection
and
施工
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Constructing
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
CouriersAndMessengers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P ?OBJ)
(
and
(
instance
?EV
Selling
)
(
instance
?OBJ
Object
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?TRANS)
(
and
(
instance
?TRANS
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?TRANS ?OBJ))) ?MEM ?P))))))
naics.kif 8736-8756
例
Collection
and
Organization
attribute
Collection
and
信使和信使
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
CognitiveAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Object
例
CognitiveAgent
and
Human
患者
AutonomousAgent
and
CognitiveAgent
賦予權利
entity
例
entity
and
Transportation
擁有
CognitiveAgent
and
Entity
患者
entity
and
Entity
,
Process
and
CognitiveAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ElectricalEquipmentApplianceAndComponentManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
and
(
instance
?THING
Machine
)
(
exists
(?EV3 ?ELEC)
(
and
(
patient
?EV3 ?THING)
(
resource
?EV3 ?ELEC)
(
instance
?ELEC
Electricity
))))
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5421-5443
例
Collection
and
Organization
attribute
Collection
and
電氣設備器具和元件製造
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
Machine
AutonomousAgent
Object
患者
AutonomousAgent
and
Entity
資源
AutonomousAgent
and
Object
例
Object
and
電力
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
ElectronicsAndApplianceStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
ElectricDevice
)
(
patient
?EV ?THING))))))
naics.kif 7186-7198
例
Collection
and
Organization
attribute
Collection
and
電子和電器商店
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
電器
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FabricatedMetalProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Metal
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 4225-4241
例
Collection
and
Organization
attribute
Collection
and
金屬製品製造
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
Metal
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FoodAndBeverageStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
or
(
instance
?THING
(
FoodForFn
Animal
))
(
instance
?THING
Beverage
))
(
patient
?EV ?THING))))))
naics.kif 7319-7333
例
Collection
and
Organization
attribute
Collection
and
食品和飲料店
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
food
for
Animal
例
Entity
and
Beverage
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FoodManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Cooking
)
(
instance
?EV
Manufacture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 1361-1377
例
Collection
and
Organization
attribute
Collection
and
食品製造業
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Cooking
例
AutonomousAgent
and
Manufacture
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FurnitureAndHomeFurnishingsStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING))))))
naics.kif 7125-7137
例
Collection
and
Organization
attribute
Collection
and
家具和家居用品商店
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
家具
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
FurnitureAndRelatedProductManufacturing
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?MEM2 ?EV2)
(
and
(
instance
?EV
Manufacture
)
(
instance
?THING
Furniture
)
(
patient
?EV ?THING)
(
member
?MEM2 ?ORG)
(
instance
?EV2
Selling
)
(
agent
?EV2 ?MEM2)
(
patient
?EV2 ?THING))))))
naics.kif 5994-6010
例
Collection
and
Organization
attribute
Collection
and
家具及相關產品製造
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Process
and
AutonomousAgent
例
AutonomousAgent
and
Manufacture
例
Entity
and
家具
患者
AutonomousAgent
and
Entity
會員
Process
and
Collection
例
AutonomousAgent
and
Selling
agent
AutonomousAgent
and
Process
患者
AutonomousAgent
and
Entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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