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
Die Zahl 1 Argument von
FoodForFn
ist eine
teilkategorie
von
Organism
%n{nicht}
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14857-14857
FoodForFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14859-14859
Die werte die
FoodForFn
zurueckgibt sind
teilkategorien
von
SelfConnectedObject
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
ist innerlich verwandt mit
FoodForFn
%n{nicht}
(
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
Wenn
subjectiveAttribute
Object
,
Won
and
AutonomousAgent
und
** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht},
dann es gibt
Contest
,
** AutonomousAgent
, and und
Process
um
contestObject
** Contest
,
** Object
and
** ** AutonomousAgent
und
** Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
subProzess
von
** Contest
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 14865-14870
Wenn
Object
ist ein
fall
von
FoodForFn
** Organism
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Nutrient
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht}
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17631-17636
Wenn
Object
ist ein
fall
von
FoodForFn
Animal
%n{nicht},
dann es gibt
Attribute
um
** Attribute
ist ein
fall
von
TasteAttribute
%n{nicht} und
** Attribute
ist ein
attribut
von
** Object
%n{nicht}
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
Wenn
Produce
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
FruitOrVegetable
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Harvesting
%n{nicht} und
** Object
ist ein
resultat
von
** entity
%n{nicht} und
** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Waiter
ist ein
attribut
von
CognitiveAgent
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
Human
%n{nicht} und
AutonomousAgent
beschaeftigt
** CognitiveAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht} und
customer
** CognitiveAgent
and
** AutonomousAgent
und
** ** CognitiveAgent
befindet
sich an %n{nicht} und
Object
ist ein
fall
von
Table
%n{nicht},
dann es gibt
** Object
,
entity
,, ,
** entity
, and und
** Object
um
** AutonomousAgent
besitzt
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
KitchenArea
%n{nicht} und
** ** Object
ist ein
fall
von
DiningArea
%n{nicht} und
** Object
befindet
sich an %n{nicht} und
** CognitiveAgent
hat Zweck von
** entity
ist ein
fall
von
Carrying
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** entity
beginnet an
** ** Object
%n{nicht} und
** entity
endet an
** Object
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** ** entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10252-10258
Wenn
Process
ist ein
fall
von
Ingesting
%n{nicht} und
Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann
** Object
ist ein
fall
von
FoodForFn
Organism
%n{nicht} oder
** Object
ist ein
fall
von
Medicine
%n{nicht}
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 11554-11558
Wenn
Process
ist ein
fall
von
Chewing
%n{nicht} und
Object
ist ein
hilfmittel
fuer
** Process
%n{nicht},
dann
** Object
ist ein
fall
von
FoodForFn
Organism
%n{nicht}
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 11576-11580
Wenn
Process
ist ein
fall
von
Feeding
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
FoodForFn
Animal
%n{nicht}
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Wenn
Catalog
ist ein
fall
von
Menu
%n{nicht} und
catalogItem
** Entity
and
** Catalog
,
dann
** Entity
ist eine
teilkategorie
von
FoodForFn
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
Wenn
Collection
ist ein
fall
von
Organization
%n{nicht} und
FoodAndBeverageStores
ist ein
attribut
von
** Collection
%n{nicht},
dann es gibt
AutonomousAgent
und
Process
um
** Process
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und es gibt
Entity
um
** AutonomousAgent
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
fall
von
FoodForFn
Animal
%n{nicht} oder
** Entity
ist ein
fall
von
Beverage
%n{nicht} und
** Entity
ist ein
patient
von
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FoodPickup
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
endet an
** AutonomousAgent
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} und es gibt
Object
,
** Process
, and und
** Process
um
** AutonomousAgent
befindet
sich an %n{nicht} und
** ** Process
ist ein
fall
von
Translocation
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** ** Process
endet an
** Object
%n{nicht} und
** ** Process
ist ein
fall
von
Getting
%n{nicht} und
** ** Process
beginnet an
** AutonomousAgent
%n{nicht} und
** ** Process
endet an
** ** AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Transfer
ist ein
fall
von
Vending
%n{nicht} und
objectTransferred
** Transfer
and
Object
und
** Object
ist ein
fall
von
Currency
nicht,
dann die Aussage
** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht} oder
** Object
ist ein
fall
von
Beverage
%n{nicht} hat die modale Kraft von
Likely
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
Wenn
RawAttribute
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
ist ein
fall
von
FoodForFn
Organism
%n{nicht}
(=>
(
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
Wenn
Fodder
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Harvesting
%n{nicht} und
** Object
ist ein
resultat
von
** entity
%n{nicht} und
** Object
ist ein
fall
von
OrganicObject
%n{nicht} und
** Object
ist ein
fall
von
FoodForFn
DomesticAnimal
%n{nicht} %n{nicht}
(=>
(
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
Wenn
ForageCrop
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Agriculture
%n{nicht} und
** Object
ist ein
resultat
von
** entity
%n{nicht} und
** Object
ist ein
fall
von
Plant
%n{nicht} und
** Object
ist ein
fall
von
FoodForFn
DomesticAnimal
%n{nicht} %n{nicht}
(=>
(
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
Wenn
SnackAndNonalcoholicBeverageBars
ist ein
attribut
von
Object
%n{nicht},
dann
** Object
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} und
** entity
ist ein
fall
von
Selling
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist der
agent
von
** Object
%n{nicht} %n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Bakery
%n{nicht},
dann es gibt
Process
,
Entity
, and und
** Process
um
** ** Process
ist ein
fall
von
Baking
%n{nicht} und
** Entity
ist ein
resultat
von
** ** Process
%n{nicht} und
** Entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} und
** ** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
CommercialService
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Restaurant
%n{nicht},
dann es gibt
Process
,
Entity
, and und
Object
um
** Process
ist ein
fall
von
CommercialService
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Object
ist ein
fall
von
RestaurantBuilding
%n{nicht} und
eventLocated
** Process
and
** Object
und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
FoodForFn
Human
%n{nicht}
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 12867-12872
Wenn
Process
ist ein
fall
von
Cooking
%n{nicht},
dann es gibt
Entity
um
** Entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Dish
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** Physical
ist ein
patient
von
** ** entity
%n{nicht} und
** entity
ist ein
fall
von
FoodForFn
Animal
%n{nicht} und
** entity
befindet
sich an %n{nicht} %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FoodDistributionOperation
%n{nicht},
dann es gibt
Entity
und
** Entity
um
** Entity
ist ein
fall
von
FoodForFn
Animal
%n{nicht} und
** ** Entity
ist ein
fall
von
CognitiveAgent
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
** ** Entity
%n{nicht} und
** ** Entity
besitzt
** Entity
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Sandwich
%n{nicht},
dann es gibt
** Object
,
** Object
, and und
** Object
um
** ** Object
ist ein
fall
von
BreadOrBiscuit
%n{nicht} und
** ** Object
ist ein
fall
von
BreadOrBiscuit
%n{nicht} und
** ** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht} und
** ** Object
ist
zwischen
** ** Object
und
** ** Object
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
GroceryStore
%n{nicht},
dann es gibt
Process
und
Entity
um
** Process
ist ein
fall
von
Selling
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Entity
ist ein
fall
von
FoodForFn
Animal
%n{nicht}
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 210-218
Wenn
Object
ist ein
fall
von
MilitaryFoodTruck
%n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
instrument
die
kategorie
die
SymbolicString
beschreibt zu tun
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
Wenn
Entity
ist ein
fall
von
TapWater
%n{nicht},
dann die Aussage
** Entity
ist ein
fall
von
FoodForFn
Human
%n{nicht} hat die modale Kraft von
Likely
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Wenn
Entity
ist ein
fall
von
DeadFn
CerealGrain
%n{nicht},
dann es gibt
** SelfConnectedObject
um
** Entity
ist ein
fall
von
** SelfConnectedObject
%n{nicht} und
** ** SelfConnectedObject
ist gleich
FoodForFn
Animal
%n{nicht}
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
Wenn
Collection
ist ein
fall
von
Buffet
%n{nicht},
dann fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
FoodForFn
Human
%n{nicht}
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1723-1725
Wenn
Collection
ist ein
fall
von
HotelMiniBar
%n{nicht},
dann
memberType
** Collection
and
FoodForFn
Human
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
ist gleich
FoodForFn
Mosquito
%n{nicht}
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 14873-14873
Food
ist gleich
FoodForFn
Human
%n{nicht}
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1744-1744
industryProductType
FoodManufacturing
and
FoodForFn
Animal
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2180-2180
Apple
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2282-2282
Avocado
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2371-2371
Coconut
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2189-2189
DateFruit
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 21633-21633
Honey
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2328-2328
LemonFruit
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2342-2342
OrangeFruit
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4113-4113
Pea
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2194-2194
PearFruit
ist eine
teilkategorie
von
FoodForFn
Animal
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3689-3689
WineGrape
ist eine
teilkategorie
von
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