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
Il numero 1 argomento
FoodForFn
è una
sottoclasse
di
Organismo
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14857-14857
FoodForFn
è un'
istanza
di
FunzioneUnaria
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
I valori resi da
FoodForFn
sono
sottoclassi
di
OggettoIntegro
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
è
interamente
correlato 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
Oggetto
,
Won
and
AutonomousAgent
Oggetto
è un'
istanza
di
FoodForFn
Umano
Competizione
AutonomousAgent
and
Processo
contestObject
Competizione
,
Oggetto
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Competizione
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14865-14870
Oggetto
è un'
istanza
di
FoodForFn
Organismo
Oggetto
Oggetto
è un'
istanza
di
Nutriente
Oggetto
è una
parte
di
Oggetto
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17631-17636
Oggetto
è un'
istanza
di
FoodForFn
Animale
Attributo
Attributo
è un'
istanza
di
AttributoDiGusto
attribute
Oggetto
and
Attributo
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
Oggetto
and
Produce
Oggetto
è un'
istanza
di
FruttaOVerdura
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Harvesting
Oggetto
è un
risultato
di
Entit�
Oggetto
è un'
istanza
di
FoodForFn
Umano
(=>
(
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
attribute
AgenteCognitivo
and
Waiter
AgenteCognitivo
è un'
istanza
di
Umano
AutonomousAgent
impiega
s
AgenteCognitivo
AutonomousAgent
è un'
istanza
di
Restaurant
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Table
Oggetto
Entit�
,
Entit�
and
Oggetto
AutonomousAgent
possiede
es
Oggetto
Oggetto
è un'
istanza
di
KitchenArea
Oggetto
è un'
istanza
di
DiningArea
Oggetto
è
localizzato
in
Oggetto
AgenteCognitivo
ha
scopo
Entit�
è un'
istanza
di
Carrying
Entit�
è un
agente
di
AgenteCognitivo
Entit�
si
originas in
Oggetto
Entit�
fine
s in
Oggetto
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
Processo
è un'
istanza
di
Ingestione
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
FoodForFn
Organismo
Oggetto
è un'
istanza
di
Medicine
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11554-11558
Processo
è un'
istanza
di
Chewing
Oggetto
è una
risorsa
per
Processo
Oggetto
è un'
istanza
di
FoodForFn
Organismo
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11576-11580
Processo
è un'
istanza
di
Feeding
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Animale
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
è un'
istanza
di
Menu
catalogItem
Entit�
and
Catalog
Entit�
è una
sottoclasse
di
FoodForFn
Umano
(=>
(
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
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
FoodAndBeverageStores
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
FoodForFn
Animale
Entit�
è un'
istanza
di
Bevanda
Entit�
è un
paziente
di
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
è un'
istanza
di
FoodPickup
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
Oggetto
Processo
and
Processo
AutonomousAgent
è
localizzato
in
Oggetto
Processo
è un'
istanza
di
Translocation
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Ottenere
Processo
si
originas in
AutonomousAgent
Processo
fine
s in
AutonomousAgent
Entit�
è un
paziente
di
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
Trasferimento
è un'
istanza
di
Vending
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Currency
l'affermazione
Oggetto
è un'
istanza
di
FoodForFn
Umano
Oggetto
è un'
istanza
di
Bevanda
ha il modello di forza di
Likely
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
attribute
Oggetto
and
RawAttribute
Oggetto
è un'
istanza
di
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
attribute
Oggetto
and
Fodder
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Harvesting
Oggetto
è un
risultato
di
Entit�
Oggetto
è un'
istanza
di
Entit�Organica
Oggetto
è un'
istanza
di
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
attribute
Oggetto
and
ForageCrop
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Agriculture
Oggetto
è un
risultato
di
Entit�
Oggetto
è un'
istanza
di
Pianta
Oggetto
è un'
istanza
di
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
attribute
Oggetto
and
SnackAndNonalcoholicBeverageBars
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
Entit�
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Oggetto
(=>
(
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
è un'
istanza
di
Bakery
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Baking
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Entit�
è un
paziente
di
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
è un'
istanza
di
Restaurant
Processo
Entit�
and
Oggetto
Processo
è un'
istanza
di
CommercialService
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
Oggetto
è un'
istanza
di
RestaurantBuilding
eventLocated
Processo
and
Oggetto
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Umano
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
Processo
è un'
istanza
di
Cucinare
Entit�
Entit�
è un'
istanza
di
FoodForFn
Umano
Entit�
è un
risultato
di
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
Entit�Concreta
è un'
istanza
di
Dish
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
paziente
di
Entit�
Entit�Concreta
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
FoodForFn
Animale
Entit�
è
localizzato
in
Entit�Concreta
(=>
(
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
è un'
istanza
di
FoodDistributionOperation
Entit�
Entit�
Entit�
è un'
istanza
di
FoodForFn
Animale
Entit�
è un'
istanza
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
Entit�
possiede
es
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
Oggetto
è un'
istanza
di
Sandwich
Oggetto
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
BreadOrBiscuit
Oggetto
è un'
istanza
di
BreadOrBiscuit
Oggetto
è un'
istanza
di
FoodForFn
Umano
Oggetto
è
tra
Oggetto
e
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
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
è un'
istanza
di
GroceryStore
Processo
Entit�
Processo
è un'
istanza
di
Vendere
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
FoodForFn
Animale
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Oggetto
è un'
istanza
di
MilitaryFoodTruck
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
Entit�
è un'
istanza
di
TapWater
l'affermazione
Entit�
è un'
istanza
di
FoodForFn
Umano
ha il modello di forza di
Likely
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Entit�
è un'
istanza
di
DeadFn
CerealGrain
OggettoIntegro
Entit�
è un'
istanza
di
OggettoIntegro
OggettoIntegro
is
uguale
a
FoodForFn
Animale
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
InsiemeConcreto
è un'
istanza
di
Buffet
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
FoodForFn
Umano
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
InsiemeConcreto
è un'
istanza
di
HotelMiniBar
memberType
InsiemeConcreto
and
FoodForFn
Umano
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
is
uguale
a
FoodForFn
Mosquito
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
Cibo
is
uguale
a
FoodForFn
Umano
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
industryProductType
FoodManufacturing
and
FoodForFn
Animale
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
Apple
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
Avocado
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
Coconut
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
DateFruit
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21633-21633
Honey
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
LemonFruit
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
OrangeFruit
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
Pea
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
PearFruit
è una
sottoclasse
di
FoodForFn
Animale
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
WineGrape
è una
sottoclasse
di
FoodForFn
Animale
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