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
FoodForFn
Sigma KEE - FoodForFn
FoodForFn
appearance as argument number 1
(
documentation
FoodForFn
ChineseLanguage
"这是一个
Function
,它用来表示
SelfConnectedObject
所含的
Nutrient
,如碳水化物、蛋白质和脂肪等,它们可以由某一类有生命的
Animal
摄入体内然后经过 新陈代谢成为能量和身体组织。")
chinese_format.kif 3482-3484
(
documentation
FoodForFn
EnglishLanguage
"A
Function
that denotes
SelfConnectedObject
containing
Nutrient
s, such as carbohydrates, proteins, and fats, that can be ingested by a the given class of living
Animal
and metabolized into energy and body tissue.")
Merge.kif 14860-14863
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14858-14858
域子類
FoodForFn
, 1 and
Organism
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14857-14857
例
FoodForFn
and
UnaryFunction
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
範圍子類
FoodForFn
and
SelfConnectedObject
appearance as argument number 2
(
format
ChineseLanguage
FoodForFn
"food for %1 ")
domainEnglishFormat.kif 3470-3470
(
format
ChineseTraditionalLanguage
FoodForFn
"food for %1 ")
domainEnglishFormat.kif 3469-3469
(
format
EnglishLanguage
FoodForFn
"food for %1")
domainEnglishFormat.kif 3468-3468
(
relatedInternalConcept
Fodder
FoodForFn
)
Mid-level-ontology.kif 20037-20037
相關的內部概念
飼料
and
FoodForFn
(
termFormat
EnglishLanguage
FoodForFn
"food for fn")
domainEnglishFormat.kif 64878-64878
antecedent
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 900-909
AutonomousAgent
believes
Object
是
韓元
例
Object
and
food
for
Human
Contest
AutonomousAgent
and
Process
AutonomousAgent
entered
Object
在
Contest
例
Process
and
判斷
agent
Process
and
AutonomousAgent
子過程
Process
and
Contest
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14865-14870
例
Object
and
food
for
Organism
Object
例
Object
and
Nutrient
部分
Object
and
Object
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17631-17636
例
Object
and
food
for
Animal
Attribute
例
Attribute
and
TasteAttribute
attribute
Object
and
Attribute
consequent
(=>
(
and
(
attribute
?X
Produce
)
(
instance
?X
FruitOrVegetable
))
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
(
FoodForFn
Human
))))))
Economy.kif 4195-4204
attribute
Object
and
農産品
例
Object
and
FruitOrVegetable
有目的
Object
and
entity
例
entity
and
收穫
結果
entity
and
Object
例
Object
and
food
for
Human
(=>
(
and
(
attribute
?X
Waiter
)
(
instance
?X
Human
)
(
employs
?REST ?X)
(
instance
?REST
Restaurant
)
(
customer
?CUST ?REST)
(
located
?CUST ?TABLE)
(
instance
?TABLE
Table
))
(
exists
(?DINING ?C ?FOOD ?KITCHEN)
(
and
(
possesses
?REST ?KITCHEN)
(
instance
?KITCHEN
KitchenArea
)
(
instance
?DINING
DiningArea
)
(
located
?TABLE ?DINING)
(
hasPurpose
?X
(
and
(
instance
?C
Carrying
)
(
agent
?C ?X)
(
origin
?C ?KITCHEN)
(
destination
?C ?TABLE)
(
patient
?C ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
)))))))
Mid-level-ontology.kif 20601-20623
attribute
CognitiveAgent
and
Waiter
例
CognitiveAgent
and
Human
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
餐廳
AutonomousAgent
是
CognitiveAgent
的
customer
位於
CognitiveAgent
and
Object
例
Object
and
表
Object
entity
,
entity
and
Object
擁有
AutonomousAgent
and
Object
例
Object
and
KitchenArea
例
Object
and
DiningArea
位於
Object
and
Object
有目的
CognitiveAgent
and
例
entity
and
攜帶
agent
entity
and
CognitiveAgent
起源
entity
and
Object
目的地
entity
and
Object
患者
entity
and
entity
例
entity
and
food
for
Human
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
例
Process
and
Ingesting
資源
Process
and
Object
例
Object
and
food
for
Organism
例
Object
and
醫學
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11554-11558
例
Process
and
咀嚼
資源
Process
and
Object
例
Object
and
food
for
Organism
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11576-11580
例
Process
and
饋送
患者
Process
and
Entity
例
Entity
and
food
for
Animal
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
例
Catalog
and
Menu
Entity
是在
Catalog
子類
Entity
and
food
for
Human
(=>
(
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
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
例
Process
and
FoodPickup
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
food
for
Human
Object
Process
and
Process
位於
AutonomousAgent
and
Object
例
Process
and
易位
agent
Process
and
AutonomousAgent
目的地
Process
and
Object
例
Process
and
Getting
起源
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
例
Transfer
and
Vending
objectTransferred
Transfer
and
Object
例
Object
and
貨幣
模態屬性
例
Object
and
food
for
Human
例
Object
and
Beverage
and
容易
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
attribute
Object
and
生食
例
Object
and
food
for
Organism
(=>
(
attribute
?X
Fodder
)
(
hasPurpose
?X
(
exists
(?H)
(
and
(
instance
?H
Harvesting
)
(
result
?H ?X)
(
instance
?X
OrganicObject
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Mid-level-ontology.kif 20041-20050
attribute
Object
and
飼料
有目的
Object
and
entity
例
entity
and
收穫
結果
entity
and
Object
例
Object
and
OrganicObject
例
Object
and
food
for
家畜
(=>
(
attribute
?X
ForageCrop
)
(
hasPurpose
?X
(
exists
(?A)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
instance
?X
Plant
)
(
instance
?X
(
FoodForFn
DomesticAnimal
))))))
Economy.kif 4809-4818
attribute
Object
and
飼料作物
有目的
Object
and
entity
例
entity
and
農業
結果
entity
and
Object
例
Object
and
Plant
例
Object
and
food
for
家畜
(=>
(
attribute
?X
SnackAndNonalcoholicBeverageBars
)
(
hasPurpose
?X
(
exists
(?SELL ?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
instance
?SELL
Selling
)
(
patient
?SELL ?FOOD)
(
agent
?SELL ?X)))))
naics.kif 11668-11676
attribute
Object
and
小吃和非酒精飲料吧檯
有目的
Object
and
entity
entity
例
entity
and
food
for
Human
例
entity
and
Selling
患者
entity
and
entity
agent
entity
and
Object
(=>
(
instance
?BAKERY
Bakery
)
(
exists
(?SERVICE ?FOOD ?BAKE)
(
and
(
instance
?BAKE
Baking
)
(
result
?BAKE ?FOOD)
(
instance
?FOOD
(
FoodForFn
Human
))
(
agent
?BAKE ?BAKERY)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?BAKERY)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?FOOD))))
Dining.kif 70-81
例
AutonomousAgent
and
Bakery
Process
Entity
and
Process
例
Process
and
烘烤
結果
Process
and
Entity
例
Entity
and
food
for
Human
agent
Process
and
AutonomousAgent
例
Process
and
商業服務
agent
Process
and
AutonomousAgent
例
Process
and
Selling
患者
Process
and
Entity
(=>
(
instance
?C
Restaurant
)
(
exists
(?S ?F ?B)
(
and
(
instance
?S
CommercialService
)
(
agent
?S ?C)
(
instance
?S
Selling
)
(
instance
?B
RestaurantBuilding
)
(
eventLocated
?S ?B)
(
patient
?S ?F)
(
instance
?F
(
FoodForFn
Human
)))))
Mid-level-ontology.kif 7281-7291
例
AutonomousAgent
and
餐廳
Process
Entity
and
Object
例
Process
and
商業服務
agent
Process
and
AutonomousAgent
例
Process
and
Selling
例
Object
and
餐廳建築
Process
是
located
在
Object
患者
Process
and
Entity
例
Entity
and
food
for
Human
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
例
Process
and
Cooking
Entity
例
Entity
and
food
for
Human
結果
Process
and
Entity
(=>
(
instance
?D
Dish
)
(
hasPurpose
?D
(
exists
(?F ?E)
(
and
(
instance
?E
Eating
)
(
patient
?E ?F)
(
patient
?E ?D)
(
instance
?F
(
FoodForFn
Animal
))
(
located
?F ?D)))))
Mid-level-ontology.kif 4433-4442
例
Physical
and
碟
有目的
Physical
and
entity
entity
例
entity
and
Eating
患者
entity
and
entity
患者
entity
and
Physical
例
entity
and
food
for
Animal
位於
entity
and
Physical
(=>
(
instance
?FD
FoodDistributionOperation
)
(
exists
(?FOOD ?CA)
(
and
(
instance
?FOOD
(
FoodForFn
Animal
))
(
instance
?CA
CognitiveAgent
)
(
patient
?FD ?FOOD)
(
destination
?FD ?CA)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?FD))
(
possesses
?CA ?FOOD)))))
Military.kif 62-71
例
Process
and
食品配送業務
Entity
Entity
例
Entity
and
food
for
Animal
例
Entity
and
CognitiveAgent
患者
Process
and
Entity
目的地
Process
and
Entity
持有期間
眼前的未來
何時
Process
and
擁有
Entity
and
Entity
(=>
(
instance
?S
Sandwich
)
(
exists
(?B1 ?B2 ?F)
(
and
(
instance
?B1
BreadOrBiscuit
)
(
instance
?B2
BreadOrBiscuit
)
(
instance
?F
(
FoodForFn
Human
))
(
between
?B1 ?F ?B2)
(
not
(
equal
?B1 ?B2))
(
not
(
equal
?B1 ?F))
(
not
(
equal
?B2 ?F))
(
part
?B1 ?S)
(
part
?B2 ?S)
(
part
?F ?S))))
Food.kif 1584-1597
例
Object
and
三明治
Object
Object
and
Object
例
Object
and
麵包或餅乾
例
Object
and
麵包或餅乾
例
Object
and
food
for
Human
之間
Object
,
Object
and
Object
等於
Object
and
Object
等於
Object
and
Object
等於
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
部分
Object
and
Object
(=>
(
instance
?STORE
GroceryStore
)
(
exists
(?SELL ?FOOD)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?STORE)
(
patient
?SELL ?FOOD)
(
instance
?FOOD
(
FoodForFn
Animal
)))))
Mid-level-ontology.kif 7818-7825
例
AutonomousAgent
and
雜貨店
Process
Entity
例
Process
and
Selling
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
food
for
Animal
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
例
Object
and
軍用食品卡車
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Transportation
例
entity
and
food
for
Animal
患者
SymbolicString
and
entity
,
儀器
and
Object
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
例
Entity
and
TapWater
模態屬性
例
Entity
and
food
for
Human
and
容易
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
例
Entity
and 一個
dead
穀物
SelfConnectedObject
例
Entity
and
SelfConnectedObject
等於
SelfConnectedObject
and
food
for
Animal
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
例
Collection
and
Buffet
Physical
會員
Physical
and
Collection
例
Physical
and
food
for
Human
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
例
Collection
and
HotelMiniBar
food
for
Human
是
Collection
的
member
類別
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
equal
Blood
(
FoodForFn
Mosquito
))
Mid-level-ontology.kif 12637-12637
等於
Blood
and
food
for
Mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
等於
Food
and
food
for
Human
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
Food
for
Animal
是
食品製造業
的
industry
產品類別
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
子類
蘋果
and
food
for
Animal
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
子類
鱷梨
and
food
for
Animal
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
子類
椰子
and
food
for
Animal
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
子類
日期水果
and
food
for
Animal
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21633-21633
子類
蜜糖
and
food
for
Animal
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
子類
檸檬水果
and
food
for
Animal
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
子類
橙色水果
and
food
for
Animal
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
子類
豌豆
and
food
for
Animal
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
子類
梨果
and
food
for
Animal
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
子類
釀酒葡萄
and
food
for
Animal
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