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
O argumento numero 1 de
FoodForFn
e' uma
sub
-classe de
Organismo
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14857-14857
FoodForFn
e' uma
instancia
de
funcao Unaria
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
Os valores retornados por
FoodForFn
sao as
sub
-classes de
Objeto auto-conectado
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
e'
relacionado
internamente por SUMO a
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
Objeto
,
Won
and
AutonomousAgent
Objeto
e' uma
instancia
de
FoodForFn
Humano
Contest
AutonomousAgent
and
Processo
contestObject
Contest
,
Objeto
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
Contest
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14865-14870
Objeto
e' uma
instancia
de
FoodForFn
Organismo
Objeto
Objeto
e' uma
instancia
de
Nutriente
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17631-17636
Objeto
e' uma
instancia
de
FoodForFn
Animal
Atributo
Atributo
e' uma
instancia
de
Atributo Gustativo
Atributo
e' um
atributo
de
Objeto
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
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Fruta ou Vegetal
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
FoodForFn
Humano
(=>
(
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
e' um
atributo
de
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
AutonomousAgent
emprega
Agente Cognitivo
AutonomousAgent
e' uma
instancia
de
Restaurant
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
e'
situado
em
Objeto
Objeto
e' uma
instancia
de
Table
Objeto
Entidade
,
Entidade
and
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
KitchenArea
Objeto
e' uma
instancia
de
DiningArea
Objeto
e'
situado
em
Objeto
Agente Cognitivo
tem por
fim
Entidade
e' uma
instancia
de
Carrying
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
tem como
origem
Objeto
Entidade
termina
em
Objeto
Entidade
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
Processo
e' uma
instancia
de
Ingerir
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
FoodForFn
Organismo
Objeto
e' uma
instancia
de
Medicine
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11554-11558
Processo
e' uma
instancia
de
Chewing
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
FoodForFn
Organismo
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11576-11580
Processo
e' uma
instancia
de
Feeding
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Animal
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
e' uma
instancia
de
Menu
catalogItem
Entidade
and
Catalog
Entidade
e' uma
sub
-classe de
FoodForFn
Humano
(=>
(
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
Colecao
e' uma
instancia
de
Organizacao
FoodAndBeverageStores
e' um
atributo
de
Colecao
AutonomousAgent
Processo
Processo
e'
membro
de
Colecao
Processo
e' um
agente
de
AutonomousAgent
Entidade
AutonomousAgent
e' uma
instancia
de
Vender
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e' uma
instancia
de
Bebida
Entidade
e' um
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
Processo
e' uma
instancia
de
FoodPickup
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Objeto
Processo
and
Processo
AutonomousAgent
e'
situado
em
Objeto
Processo
e' uma
instancia
de
Translocation
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Objeto
Processo
e' uma
instancia
de
Obter
Processo
tem como
origem
AutonomousAgent
Processo
termina
em
AutonomousAgent
Entidade
e' um
patient
de
Processo
(=>
(
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
Transferencia
e' uma
instancia
de
Vending
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Currency
o argumento
Objeto
e' uma
instancia
de
FoodForFn
Humano
Objeto
e' uma
instancia
de
Bebida
tem a
forca
modal
de
Likely
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
RawAttribute
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
FoodForFn
Organismo
(=>
(
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Harvesting
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
Objeto Organico
Objeto
e' uma
instancia
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Agriculture
Objeto
e' o
resultado
de
Entidade
Objeto
e' uma
instancia
de
Planta
Objeto
e' uma
instancia
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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Objeto
(=>
(
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
e' uma
instancia
de
Bakery
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Baking
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
Entidade
e' um
patient
de
Processo
(=>
(
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
e' uma
instancia
de
Restaurant
Processo
Entidade
and
Objeto
Processo
e' uma
instancia
de
CommercialService
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Vender
Objeto
e' uma
instancia
de
RestaurantBuilding
eventLocated
Processo
and
Objeto
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
FoodForFn
Humano
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
Processo
e' uma
instancia
de
Cozinhar
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Humano
Entidade
e' o
resultado
de
Processo
(=>
(
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
Fisico
e' uma
instancia
de
Dish
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Comer
Entidade
e' um
patient
de
Entidade
Fisico
e' um
patient
de
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e'
situado
em
Fisico
(=>
(
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
Processo
e' uma
instancia
de
FoodDistributionOperation
Entidade
Entidade
Entidade
e' uma
instancia
de
FoodForFn
Animal
Entidade
e' uma
instancia
de
Agente Cognitivo
Entidade
e' um
patient
de
Processo
Processo
termina
em
Entidade
Entidade
possui
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
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
Objeto
e' uma
instancia
de
Sandwich
Objeto
Objeto
and
Objeto
Objeto
e' uma
instancia
de
BreadOrBiscuit
Objeto
e' uma
instancia
de
BreadOrBiscuit
Objeto
e' uma
instancia
de
FoodForFn
Humano
Objeto
esta'
entre
Objeto
e
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
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
e' uma
instancia
de
GroceryStore
Processo
Entidade
Processo
e' uma
instancia
de
Vender
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
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
Objeto
e' uma
instancia
de
MilitaryFoodTruck
Objeto
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
Entidade
e' uma
instancia
de
TapWater
o argumento
Entidade
e' uma
instancia
de
FoodForFn
Humano
tem a
forca
modal
de
Likely
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Entidade
e' uma
instancia
de
DeadFn
CerealGrain
Objeto auto-conectado
Entidade
e' uma
instancia
de
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
FoodForFn
Animal
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
Colecao
e' uma
instancia
de
Buffet
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
FoodForFn
Humano
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
Colecao
e' uma
instancia
de
HotelMiniBar
memberType
Colecao
and
FoodForFn
Humano
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
Sangue
e'
igual
a
FoodForFn
Mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
Comida
e'
igual
a
FoodForFn
Humano
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
industryProductType
FoodManufacturing
and
FoodForFn
Animal
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
Apple
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
Avocado
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
Coconut
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
DateFruit
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21633-21633
Honey
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
LemonFruit
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
OrangeFruit
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
Pea
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
PearFruit
e' uma
sub
-classe de
FoodForFn
Animal
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
WineGrape
e' uma
sub
-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