Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 the class of all
SelfConnectedObject
s containing
Nutrient
s, such as
Carbohydrate
s,
Protein
s, and fats, that can be ingested by a the given class of living
Animal
and metabolized into energy and body
Tissue
.")
Merge.kif 15013-15016
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 15011-15011
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
Le nombre 1 argument de
FoodForFn
est une
sous
-classe de
organisme
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 15010-15010
FoodForFn
est une
instance
de
function unaire
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 15012-15012
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 3468-3468
(
format
ChineseTraditionalLanguage
FoodForFn
"food for %1 ")
domainEnglishFormat.kif 3467-3467
(
format
EnglishLanguage
FoodForFn
"food for %1")
domainEnglishFormat.kif 3466-3466
(
relatedInternalConcept
Fodder
FoodForFn
)
Mid-level-ontology.kif 21624-21624
Fodder
est
reli
� � l'int�rieur de SUMO �
FoodForFn
(
termFormat
EnglishLanguage
FoodForFn
"food for fn")
domainEnglishFormat.kif 64872-64872
Fodder
est
reli
� � l'int�rieur de SUMO �
FoodForFn
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 15018-15023
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 17814-17819
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 4532-4541
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 22218-22240
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 10392-10398
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 12885-12889
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 12907-12911
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 2449-2458
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 21628-21637
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 5149-5158
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 8442-8452
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 13021-13026
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 4878-4887
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 1590-1603
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
equal
objet
and
objet
equal
objet
and
objet
equal
objet
and
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 8985-8992
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 287-295
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 4372-4377
Entit�
est une
instance
de
DeadFn
CerealGrain
objet en une partie
entit�
est une
instance
de
objet en une partie
equal
objet en une partie
and
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 1734-1736
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 13968-13968
equal
sang
and
FoodForFn
Mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 15026-15026
equal
nourriture
and
FoodForFn
humain
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1869-1869
industryProductType
FoodManufacturing
and
FoodForFn
animal
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2187-2187
Apple
est une
sous
-classe de
FoodForFn
animal
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2289-2289
Avocado
est une
sous
-classe de
FoodForFn
animal
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2378-2378
Coconut
est une
sous
-classe de
FoodForFn
animal
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2196-2196
DateFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 23250-23250
Honey
est une
sous
-classe de
FoodForFn
animal
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2335-2335
LemonFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2349-2349
OrangeFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4450-4450
Pea
est une
sous
-classe de
FoodForFn
animal
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2201-2201
PearFruit
est une
sous
-classe de
FoodForFn
animal
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3696-3696
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