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 14906-14909
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14904-14904
FoodForFn
的 1 数量 是
生物
的
subclass
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14903-14903
FoodForFn
是
一元函数
的
instance
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14905-14905
FoodForFn
的所得值 是
自身连接物体
的
subclass
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 20064-20064
饲料
和
FoodForFn
是 内部相关
(
termFormat
EnglishLanguage
FoodForFn
"food for fn")
domainEnglishFormat.kif 64880-64880
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
如果
施事体
believes
客体
是
韩元
和
那个 客体
是
food
for
人类
的
instance
,
然后 有存在
比赛
,
另一个 施事体
, and 和
过程
这样
那个 另外 施事体
entered
那个 客体
在
那个 比赛
和
那个 过程
是
判断
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
%n是
那个 比赛
的
subProcess
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14911-14916
如果
客体
是
food
for
有点 生物
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
营养
的
instance
和
那个 另外 客体
是
那个 客体
的
part
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17710-17715
如果
客体
是
food
for
动物
的
instance
,
然后 有存在
属性
这样
那个 属性
是
味觉属性
的
instance
和
那个 属性
是
那个 客体
的
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
和
那个 客体
是
水果或蔬菜
的
instance
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
收获
的
instance
和
那个 客体
是
那个 实体
的
result
和
那个 客体
是
food
for
人类
的
instance
(=>
(
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 20628-20650
如果
Waiter
是
有认知的主事
的
attribute
和
那个 有认知的主事
是
人类
的
instance
和
施事体
employs
那个 有认知的主事
和
那个 施事体
是
餐厅
的
instance
和
那个 施事体
是
另一个 有认知的主事
的
customer
和
那个 另外 有认知的主事
是
located
在
客体
和
那个 客体
是
表
的
instance
,
然后 有存在
另一个 客体
,
实体
,, ,
另一个 实体
, and 和
第三 客体
这样
那个 施事体
possesses
那个 第三 客体
和
那个 第三 客体
是
KitchenArea
的
instance
和
那个 另外 客体
是
DiningArea
的
instance
和
那个 客体
是
located
在
那个 另外 客体
和
那个 有认知的主事
的 目的 是
那个 实体
是
携带
的
instance
和
那个 有认知的主事
是
那个 实体
的
agent
和
那个 第三 客体
是
那个 实体
的源头 和
那个 实体
在
那个 客体
结束 和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
是
food
for
人类
的
instance
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10288-10294
如果
过程
是
消化
的
instance
和
客体
是
那个 过程
的
resource
,
然后
那个 客体
是
food
for
生物
的
instance
或
那个 客体
是
医学
的
instance
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11581-11585
如果
过程
是
咀嚼
的
instance
和
客体
是
那个 过程
的
resource
,
然后
那个 客体
是
food
for
生物
的
instance
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11603-11607
如果
过程
是
馈送
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
food
for
动物
的
instance
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
如果
Catalog
是
Menu
的
instance
和
有点 实体
是在
那个 Catalog
,
然后
有点 实体
是
food
for
人类
的
subclass
(=>
(
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
如果
群体
是
机构
的
instance
和
食品和饮料店
是
那个 群体
的
attribute
,
然后 有存在
施事体
和
过程
这样
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
和 有存在
实体
这样
那个 施事体
是
出售
的
instance
和
那个 实体
是
food
for
动物
的
instance
或
那个 实体
是
饮料
的
instance
和
那个 实体
是
那个 施事体
的
patient
(=>
(
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
如果
过程
是
FoodPickup
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 施事体
结束 和
实体
是
那个 过程
的
patient
,
然后
那个 实体
是
food
for
人类
的
instance
和 有存在
客体
,
另一个 过程
, and 和
第三 过程
这样
那个 施事体
是
located
在
那个 客体
和
那个 另外 过程
是
易位
的
instance
和
那个 另外 施事体
是
那个 另外 过程
的
agent
和
那个 另外 过程
在
那个 客体
结束 和
那个 第三 过程
是
获得
的
instance
和
那个 施事体
是
那个 第三 过程
的源头 和
那个 第三 过程
在
那个 另外 施事体
结束 和
那个 实体
是
那个 第三 过程
的
patient
(=>
(
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 1979-1988
如果
转移
是
Vending
的
instance
和
objectTransferred
那个 转移
and
客体
和
那个 客体
不 是
货币
的
instance
,
然后
那个 客体
是
food
for
人类
的
instance
或
那个 客体
是
饮料
的
instance
的声明 has
容易
的语气
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
如果
生食
是
客体
的
attribute
,
然后
那个 客体
是
food
for
生物
的
instance
(=>
(
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 20068-20077
如果
饲料
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
收获
的
instance
和
那个 客体
是
那个 实体
的
result
和
那个 客体
是
有机物体
的
instance
和
那个 客体
是
food
for
家畜
的
instance
(=>
(
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
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
农业
的
instance
和
那个 客体
是
那个 实体
的
result
和
那个 客体
是
植物
的
instance
和
那个 客体
是
food
for
家畜
的
instance
(=>
(
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
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
food
for
人类
的
instance
和
那个 实体
是
出售
的
instance
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 客体
是
那个 实体
的
agent
(=>
(
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
如果
施事体
是
Bakery
的
instance
,
然后 有存在
过程
,
实体
, and 和
另一个 过程
这样
那个 另外 过程
是
烘烤
的
instance
和
那个 实体
是
那个 另外 过程
的
result
和
那个 实体
是
food
for
人类
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 过程
是
商业服务
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
是
出售
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
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 7308-7318
如果
施事体
是
餐厅
的
instance
,
然后 有存在
过程
,
实体
, and 和
客体
这样
那个 过程
是
商业服务
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
是
出售
的
instance
和
那个 客体
是
餐厅建筑
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
是
food
for
人类
的
instance
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12913-12918
如果
过程
是
烹饪
的
instance
,
然后 有存在
实体
这样
那个 实体
是
food
for
人类
的
instance
和
那个 实体
是
那个 过程
的
result
(=>
(
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 4428-4437
如果
物理
是
碟
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 另外 实体
是
进食
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 物理
是
那个 另外 实体
的
patient
和
那个 实体
是
food
for
动物
的
instance
和
那个 实体
是
located
在
那个 物理
(=>
(
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
如果
过程
是
食品配送业务
的
instance
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
food
for
动物
的
instance
和
那个 另外 实体
是
有认知的主事
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
那个 另外 实体
结束 和
那个 另外 实体
possesses
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
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
如果
客体
是
三明治
的
instance
,
然后 有存在
另一个 客体
,
第三 客体
, and 和
第四 客体
这样
那个 另外 客体
是
面包或饼干
的
instance
和
那个 第三 客体
是
面包或饼干
的
instance
和
那个 第四 客体
是
food
for
人类
的
instance
和
那个 第四 客体
是在
那个 另外 客体
和
那个 第三 客体
between
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
不
equal
那个 第四 客体
和
那个 第三 客体
不
equal
那个 第四 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 第四 客体
是
那个 客体
的
part
(=>
(
instance
?STORE
GroceryStore
)
(
exists
(?SELL ?FOOD)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?STORE)
(
patient
?SELL ?FOOD)
(
instance
?FOOD
(
FoodForFn
Animal
)))))
Mid-level-ontology.kif 7845-7852
如果
施事体
是
杂货店
的
instance
,
然后 有存在
过程
和
实体
这样
那个 过程
是
出售
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
是
food
for
动物
的
instance
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
如果
客体
是
军用食品卡车
的
instance
,
然后
那个 客体
能够担当
工具
的角色做
符号串
所描述的类别
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
如果
实体
是
TapWater
的
instance
,
然后
那个 实体
是
food
for
人类
的
instance
的声明 has
容易
的语气
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
如果
实体
是 一个
dead
谷物
的
instance
,
然后 有存在
有点 自身连接物体
这样
那个 实体
是
有点 自身连接物体
的
instance
和
那个 有点 自身连接物体
equal
food
for
动物
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
如果
群体
是
Buffet
的
instance
,
然后 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
food
for
人类
的
instance
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
如果
群体
是
HotelMiniBar
的
instance
,
然后
food
for
人类
是
那个 群体
的
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 12664-12664
血液
equal
food
for
Mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14919-14919
Food
equal
food
for
人类
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
Food
for
动物
是
食品制造业
的
industry
产品类别
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
苹果
是
food
for
动物
的
subclass
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
鳄梨
是
food
for
动物
的
subclass
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
椰子
是
food
for
动物
的
subclass
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
日期水果
是
food
for
动物
的
subclass
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21660-21660
蜜糖
是
food
for
动物
的
subclass
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
柠檬水果
是
food
for
动物
的
subclass
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
橙色水果
是
food
for
动物
的
subclass
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
豌豆
是
food
for
动物
的
subclass
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
梨果
是
food
for
动物
的
subclass
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
酿酒葡萄
是
food
for
动物
的
subclass
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