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
Le nombre 1 argument de
FoodForFn
est une
sous
-classe de
organisme
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14857-14857
FoodForFn
est une
instance
de
function unaire
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
Les valeurs retourn�es par
FoodForFn
sont des
sous
-classes de
objet en une partie
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
est
reli
� � l'int�rieur de SUMO �
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
subjectiveAttribute
objet
,
Won
and
AutonomousAgent
objet
est une
instance
de
FoodForFn
humain
affrontement
AutonomousAgent
and
processus
contestObject
affrontement
,
objet
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
affrontement
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14865-14870
Objet
est une
instance
de
FoodForFn
organisme
objet
objet
est une
instance
de
nutriment
objet
est une
partie
de
objet
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17631-17636
Objet
est une
instance
de
FoodForFn
animal
attribut
attribut
est une
instance
de
attribut gustatif
attribut
est un
attribut
de
objet
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
Produce
est un
attribut
de
objet
objet
est une
instance
de
fruit ou v�g�tal
objet
a pour
but
entit�
entit�
est une
instance
de
Harvesting
objet
est le
resultat
de
entit�
objet
est une
instance
de
FoodForFn
humain
(=>
(
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
Waiter
est un
attribut
de
agent cognitif
agent cognitif
est une
instance
de
humain
AutonomousAgent
emploie
agent cognitif
AutonomousAgent
est une
instance
de
Restaurant
customer
agent cognitif
and
AutonomousAgent
agent cognitif
est
situ
� �
objet
objet
est une
instance
de
Table
objet
entit�
,
entit�
and
objet
AutonomousAgent
poss
�de
objet
objet
est une
instance
de
KitchenArea
objet
est une
instance
de
DiningArea
objet
est
situ
� �
objet
agent cognitif
a pour
but
entit�
est une
instance
de
Carrying
entit�
est un
agent
de
agent cognitif
entit�
a pour
origine
objet
entit�
aboutit
�
objet
entit�
est un
patient
de
entit�
entit�
est une
instance
de
FoodForFn
humain
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
Processus
est une
instance
de
ing�rer
objet
est une
resource
pour
processus
objet
est une
instance
de
FoodForFn
organisme
objet
est une
instance
de
Medicine
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11554-11558
Processus
est une
instance
de
Chewing
objet
est une
resource
pour
processus
objet
est une
instance
de
FoodForFn
organisme
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11576-11580
Processus
est une
instance
de
Feeding
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
animal
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
est une
instance
de
Menu
catalogItem
entit�
and
Catalog
entit�
est une
sous
-classe de
FoodForFn
humain
(=>
(
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
est une
instance
de
organisation
FoodAndBeverageStores
est un
attribut
de
collection
AutonomousAgent
processus
processus
est un
membre
de
collection
processus
est un
agent
de
AutonomousAgent
entit�
AutonomousAgent
est une
instance
de
vendre
entit�
est une
instance
de
FoodForFn
animal
entit�
est une
instance
de
boisson
entit�
est un
patient
de
AutonomousAgent
(=>
(
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
Processus
est une
instance
de
FoodPickup
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
objet
processus
and
processus
AutonomousAgent
est
situ
� �
objet
processus
est une
instance
de
Translocation
processus
est un
agent
de
AutonomousAgent
processus
aboutit
�
objet
processus
est une
instance
de
obtenir
processus
a pour
origine
AutonomousAgent
processus
aboutit
�
AutonomousAgent
entit�
est un
patient
de
processus
(=>
(
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
Transf�re
est une
instance
de
Vending
objectTransferred
transf�re
and
objet
objet
est une
instance
de
Currency
l'argument
objet
est une
instance
de
FoodForFn
humain
objet
est une
instance
de
boisson
a la
force
modale
de
Likely
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
RawAttribute
est un
attribut
de
objet
objet
est une
instance
de
FoodForFn
organisme
(=>
(
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
Fodder
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
Harvesting
objet
est le
resultat
de
entit�
objet
est une
instance
de
objet organique
objet
est une
instance
de
FoodForFn
DomesticAnimal
(=>
(
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
ForageCrop
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
est une
instance
de
Agriculture
objet
est le
resultat
de
entit�
objet
est une
instance
de
plante
objet
est une
instance
de
FoodForFn
DomesticAnimal
(=>
(
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
SnackAndNonalcoholicBeverageBars
est un
attribut
de
objet
objet
a pour
but
entit�
entit�
entit�
est une
instance
de
FoodForFn
humain
entit�
est une
instance
de
vendre
entit�
est un
patient
de
entit�
entit�
est un
agent
de
objet
(=>
(
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
est une
instance
de
Bakery
processus
entit�
and
processus
processus
est une
instance
de
Baking
entit�
est le
resultat
de
processus
entit�
est une
instance
de
FoodForFn
humain
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
entit�
est un
patient
de
processus
(=>
(
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
est une
instance
de
Restaurant
processus
entit�
and
objet
processus
est une
instance
de
CommercialService
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
vendre
objet
est une
instance
de
RestaurantBuilding
eventLocated
processus
and
objet
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
humain
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
Processus
est une
instance
de
cuisiner
entit�
entit�
est une
instance
de
FoodForFn
humain
entit�
est le
resultat
de
processus
(=>
(
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
Physique
est une
instance
de
Dish
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
manger
entit�
est un
patient
de
entit�
physique
est un
patient
de
entit�
entit�
est une
instance
de
FoodForFn
animal
entit�
est
situ
� �
physique
(=>
(
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
Processus
est une
instance
de
FoodDistributionOperation
entit�
entit�
entit�
est une
instance
de
FoodForFn
animal
entit�
est une
instance
de
agent cognitif
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
entit�
poss
�de
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
Sandwich
objet
objet
and
objet
objet
est une
instance
de
BreadOrBiscuit
objet
est une
instance
de
BreadOrBiscuit
objet
est une
instance
de
FoodForFn
humain
objet
est
entre
objet
et
objet
objet
est
objet
objet
est
objet
objet
est
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
(=>
(
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
est une
instance
de
GroceryStore
processus
entit�
processus
est une
instance
de
vendre
processus
est un
agent
de
AutonomousAgent
entit�
est un
patient
de
processus
entit�
est une
instance
de
FoodForFn
animal
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Objet
est une
instance
de
MilitaryFoodTruck
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
instrument
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
Entit�
est une
instance
de
TapWater
l'argument
entit�
est une
instance
de
FoodForFn
humain
a la
force
modale
de
Likely
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Entit�
est une
instance
de
DeadFn
CerealGrain
objet en une partie
entit�
est une
instance
de
objet en une partie
objet en une partie
est
FoodForFn
animal
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
Collection
est une
instance
de
Buffet
physique
physique
est un
membre
de
collection
physique
est une
instance
de
FoodForFn
humain
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
Collection
est une
instance
de
HotelMiniBar
memberType
collection
and
FoodForFn
humain
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
Sang
est
FoodForFn
Mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
Nourriture
est
FoodForFn
humain
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
industryProductType
FoodManufacturing
and
FoodForFn
animal
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
Apple
est une
sous
-classe de
FoodForFn
animal
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
Avocado
est une
sous
-classe de
FoodForFn
animal
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
Coconut
est une
sous
-classe de
FoodForFn
animal
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
DateFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21633-21633
Honey
est une
sous
-classe de
FoodForFn
animal
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
LemonFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
OrangeFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
Pea
est une
sous
-classe de
FoodForFn
animal
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
PearFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
WineGrape
est une
sous
-classe de
FoodForFn
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