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
The number 1 argument of
food for fn
is a
subclass
of
organism
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14857-14857
Food for fn
is an
instance
of
unary function
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
The values returned by
food for fn
are
subclasses
of
self connected object
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
Fodder
is
internally
related to
food for fn
(
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
If
an agent
believes
an object
is
won
and
the object
is an
instance
of
food
for
human
,
then there exist
a contest
,
another agent
and
a process
such that
the other agent
entered
the object
in
the contest
and
the process
is an
instance
of
judging
and
the agent
is an
agent
of
the process
and
the process
is a
subprocess
of
the contest
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14865-14870
If
an object
is an
instance
of
food
for
a kind of organism
,
then there exists
another object
such that
the other object
is an
instance
of
nutrient
and
the other object
is a
part
of
the object
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17631-17636
If
an object
is an
instance
of
food
for
animal
,
then there exists
an attribute
such that
the attribute
is an
instance
of
taste attribute
and
the attribute
is an
attribute
of
the object
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
If
produce
is an
attribute
of
an object
and
the object
is an
instance
of
fruit or vegetable
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
harvesting
and
the object
is a
result
of
the entity
and
the object
is an
instance
of
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
If
waiter
is an
attribute
of
a cognitive agent
and
the cognitive agent
is an
instance
of
human
and
an agent
employ
s
the cognitive agent
and
the agent
is an
instance
of
restaurant
and
the agent
is a
customer
of
another cognitive agent
and
the other cognitive agent
is
located
at
an object
and
the object
is an
instance
of
table
,
then there exist
another object
,
an entity
,, ,
another entity
and
a third object
such that
the agent
possess
es
the third object
and
the third object
is an
instance
of
kitchen area
and
the other object
is an
instance
of
dining area
and
the object
is
located
at
the other object
and
the cognitive agent
has the purpose
the entity
is an
instance
of
carrying
and
the cognitive agent
is an
agent
of
the entity
and
the entity
originate
s at
the third object
and
the entity
end
s up at
the object
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
food
for
human
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
If
a process
is an
instance
of
ingesting
and
an object
is a
resource
for
the process
,
then
the object
is an
instance
of
food
for
organism
or
the object
is an
instance
of
medicine
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11554-11558
If
a process
is an
instance
of
chewing
and
an object
is a
resource
for
the process
,
then
the object
is an
instance
of
food
for
organism
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11576-11580
If
a process
is an
instance
of
feeding
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
food
for
animal
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
If
a catalog
is an
instance
of
menu
and
a kind of entity
is in
the catalog
,
then
a kind of entity
is a
subclass
of
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
If
a collection
is an
instance
of
organization
and
food and beverage stores
is an
attribute
of
the collection
,
then there exist
an agent
and
a process
such that
the process
is a
member
of
the collection
and
the agent
is an
agent
of
the process
and there exists
an entity
such that
the agent
is an
instance
of
selling
and
the entity
is an
instance
of
food
for
animal
or
the entity
is an
instance
of
beverage
and
the entity
is a
patient
of
the agent
(=>
(
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
If
a process
is an
instance
of
food pickup
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
food
for
human
and there exist
an object
,
another process
and
a third process
such that
the agent
is
located
at
the object
and
the other process
is an
instance
of
translocation
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the third process
is an
instance
of
getting
and
the third process
originate
s at
the agent
and
the third process
end
s up at
the other agent
and
the entity
is a
patient
of
the third process
(=>
(
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
If
a transfer
is an
instance
of
vending
and the object transferred in
the transfer
is
an object
and
the object
is not an
instance
of
currency
,
then the statement
the object
is an
instance
of
food
for
human
or
the object
is an
instance
of
beverage
has the
modal
force
of
likely
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
If
raw food
is an
attribute
of
an object
,
then
the object
is an
instance
of
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
If
fodder
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
harvesting
and
the object
is a
result
of
the entity
and
the object
is an
instance
of
organic object
and
the object
is an
instance
of
food
for
domestic animal
(=>
(
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
If
forage crop
is an
attribute
of
an object
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
agriculture
and
the object
is a
result
of
the entity
and
the object
is an
instance
of
plant
and
the object
is an
instance
of
food
for
domestic animal
(=>
(
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
If
snack and nonalcoholic beverage bars
is an
attribute
of
an object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
food
for
human
and
the entity
is an
instance
of
selling
and
the other entity
is a
patient
of
the entity
and
the object
is an
agent
of
the entity
(=>
(
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
If
an agent
is an
instance
of
bakery
,
then there exist
a process
,
an entity
and
another process
such that
the other process
is an
instance
of
baking
and
the entity
is a
result
of
the other process
and
the entity
is an
instance
of
food
for
human
and
the agent
is an
agent
of
the other process
and
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
(=>
(
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
If
an agent
is an
instance
of
restaurant
,
then there exist
a process
,
an entity
and
an object
such that
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the object
is an
instance
of
restaurant building
and
the process
is
located
at
the object
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
food
for
human
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
If
a process
is an
instance
of
cooking
,
then there exists
an entity
such that
the entity
is an
instance
of
food
for
human
and
the entity
is a
result
of
the process
(=>
(
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
If
a physical
is an
instance
of
dish
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
eating
and
the entity
is a
patient
of
the other entity
and
the physical
is a
patient
of
the other entity
and
the entity
is an
instance
of
food
for
animal
and
the entity
is
located
at
the 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
If
a process
is an
instance
of
food distribution operation
,
then there exist
an entity
and
another entity
such that
the entity
is an
instance
of
food
for
animal
and
the other entity
is an
instance
of
cognitive agent
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
and
the other entity
possess
es
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
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
If
an object
is an
instance
of
sandwich
,
then there exist
another object
,
a third object
and
a fourth object
such that
the other object
is an
instance
of
bread or biscuit
and
the third object
is an
instance
of
bread or biscuit
and
the fourth object
is an
instance
of
food
for
human
and
the fourth object
is
between
the other object
and
the third object
and
the other object
is not
equal
to
the third object
and
the other object
is not
equal
to
the fourth object
and
the third object
is not
equal
to
the fourth object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the fourth object
is a
part
of
the 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
If
an agent
is an
instance
of
grocery store
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
selling
and
the agent
is an
agent
of
the process
and
the entity
is a
patient
of
the process
and
the entity
is an
instance
of
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
If
an object
is an
instance
of
military food truck
,
then
the object
is
capable
of doing the
class
described by
a symbolic string
as a
instrument
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
If
an entity
is an
instance
of
tap water
,
then the statement
the entity
is an
instance
of
food
for
human
has the
modal
force
of
likely
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
If
an entity
is an
instance
of a
dead
cereal grain
,
then there exists
a kind of self connected object
such that
the entity
is an
instance
of
a kind of self connected object
and
the kind of self connected object
is
equal
to
food
for
animal
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
If
a collection
is an
instance
of
buffet
,
then for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
food
for
human
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
If
a collection
is an
instance
of
mini bar
,
then
food
for
human
is a
member
type of
the collection
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
is
equal
to
food
for
mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
Food
is
equal
to
food
for
human
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
Food
for
animal
is an
industry
product type of
food manufacturing
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
Apple
is a
subclass
of
food
for
animal
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
Avocado
is a
subclass
of
food
for
animal
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
Coconut
is a
subclass
of
food
for
animal
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
Date fruit
is a
subclass
of
food
for
animal
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21633-21633
Honey
is a
subclass
of
food
for
animal
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
Lemon fruit
is a
subclass
of
food
for
animal
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
Orange fruit
is a
subclass
of
food
for
animal
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
Pea
is a
subclass
of
food
for
animal
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
Pear fruit
is a
subclass
of
food
for
animal
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
Wine grape
is a
subclass
of
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