Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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
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 14998-15001
(
domainSubclass
FoodForFn
1
Organism
)
Merge.kif 14996-14996
FoodForFn
の数値 1 引数は
物
の
subclass
では
(
externalImage
FoodForFn
"http://articulatesoftware.com/SUMOpictures/food/ food.png")
pictureList.kif 440-440
FoodForFn
の数値 1 引数は
物
の
subclass
では
(
instance
FoodForFn
UnaryFunction
)
Merge.kif 14995-14995
FoodForFn
は
1変数関数
の
instance
では
(
rangeSubclass
FoodForFn
SelfConnectedObject
)
Merge.kif 14997-14997
FoodForFn
が返す値は
自己接続オブジェクト
の
subclasses
では
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
は
FoodForFn
に
internally
関連して
(
termFormat
EnglishLanguage
FoodForFn
"food for fn")
domainEnglishFormat.kif 64872-64872
Fodder
は
FoodForFn
に
internally
関連して
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
オブジェクト
,
Won
and
AutonomousAgent
オブジェクト
は
FoodForFn
人[人間]
の
instance
では
コンテスト
AutonomousAgent
and
工程
contestObject
コンテスト
,
オブジェクト
and
AutonomousAgent
工程
は
Judging
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
コンテスト
% の
subprocess
では
(=>
(
instance
?FOOD
(
FoodForFn
?A))
(
exists
(?NUTRIENT)
(
and
(
instance
?NUTRIENT
Nutrient
)
(
part
?NUTRIENT ?FOOD))))
Merge.kif 15003-15008
オブジェクト
は
FoodForFn
物
の
instance
では
オブジェクト
オブジェクト
は
栄養素[栄養物]
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
(=>
(
instance
?OBJ
(
FoodForFn
Animal
))
(
exists
(?ATTR)
(
and
(
instance
?ATTR
TasteAttribute
)
(
attribute
?OBJ ?ATTR))))
Merge.kif 17799-17804
オブジェクト
は
FoodForFn
動物
の
instance
では
属性
属性
は
味覚属性
の
instance
では
属性
は
オブジェクト
の
attribute
では
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
は
オブジェクト
の
attribute
では
オブジェクト
は
果物または野菜
の
instance
では
オブジェクト
は
エンティティー
エンティティー
は
Harvesting
の
instance
では
オブジェクト
は
エンティティー
の
result
では
オブジェクト
は
FoodForFn
人[人間]
の
instance
では の 目的
(=>
(
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
は
認識エージェント
の
attribute
では
認識エージェント
は
人[人間]
の
instance
では
AutonomousAgent
は
認識エージェント
を
employ
s
AutonomousAgent
は
Restaurant
の
instance
では
customer
認識エージェント
and
AutonomousAgent
認識エージェント
は
オブジェクト
に
located
して
オブジェクト
は
Table
の
instance
では
オブジェクト
エンティティー
,
エンティティー
and
オブジェクト
AutonomousAgent
は
オブジェクト
を
possess
es
オブジェクト
は
KitchenArea
の
instance
では
オブジェクト
は
DiningArea
の
instance
では
オブジェクト
は
オブジェクト
に
located
して
認識エージェント
は
エンティティー
は
Carrying
の
instance
では
認識エージェント
は
エンティティー
の
agent
では
エンティティー
は
オブジェクト
から
originate
s
エンティティー
は
オブジェクト
に
end
s
エンティティー
は
エンティティー
の
patient
では
エンティティー
は
FoodForFn
人[人間]
の
instance
では の 目的
(=>
(
and
(
instance
?ACT
Ingesting
)
(
resource
?ACT ?F))
(
or
(
instance
?F
(
FoodForFn
Organism
))
(
instance
?F
Medicine
)))
Merge.kif 10377-10383
工程
は
摂取
の
instance
では
オブジェクト
は
工程
の
resource
では
オブジェクト
は
FoodForFn
物
の
instance
では
オブジェクト
は
Medicine
の
instance
では
(=>
(
and
(
instance
?CHEW
Chewing
)
(
resource
?CHEW ?FOOD))
(
instance
?FOOD
(
FoodForFn
Organism
)))
Mid-level-ontology.kif 12885-12889
工程
は
Chewing
の
instance
では
オブジェクト
は
工程
の
resource
では
オブジェクト
は
FoodForFn
物
の
instance
では
(=>
(
and
(
instance
?F
Feeding
)
(
patient
?F ?O))
(
instance
?O
(
FoodForFn
Animal
)))
Mid-level-ontology.kif 12907-12911
工程
は
Feeding
の
instance
では
エンティティー
は
工程
の
patient
では
エンティティー
は
FoodForFn
動物
の
instance
では
(=>
(
and
(
instance
?MENU
Menu
)
(
catalogItem
?X ?MENU))
(
subclass
?X
(
FoodForFn
Human
)))
Dining.kif 178-182
Catalog
は
Menu
の
instance
では
catalogItem
エンティティー
and
Catalog
エンティティー
は
FoodForFn
人[人間]
の
subclass
では
(=>
(
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
コレクション
は
組織
の
instance
では
FoodAndBeverageStores
は
コレクション
の
attribute
では
AutonomousAgent
工程
工程
は
コレクション
の
member
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
AutonomousAgent
は
販売
の
instance
では
エンティティー
は
FoodForFn
動物
の
instance
では
エンティティー
は
飲料
の
instance
では
エンティティー
は
AutonomousAgent
の
patient
では
(=>
(
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
工程
は
FoodPickup
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
AutonomousAgent
に
end
s
エンティティー
は
工程
の
patient
では
エンティティー
は
FoodForFn
人[人間]
の
instance
では
オブジェクト
工程
and
工程
AutonomousAgent
は
オブジェクト
に
located
して
工程
は
Translocation
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
オブジェクト
に
end
s
工程
は
取得
の
instance
では
工程
は
AutonomousAgent
から
originate
s
工程
は
AutonomousAgent
に
end
s
エンティティー
は
工程
の
patient
では
(=>
(
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
移動
は
Vending
の
instance
では
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Currency
の
instance
では
ステートメント
オブジェクト
は
FoodForFn
人[人間]
の
instance
では
オブジェクト
は
飲料
の
instance
では には
Likely
の
modal
force
が ある
(=>
(
attribute
?FOOD
RawAttribute
)
(
instance
?FOOD
(
FoodForFn
Organism
)))
Food.kif 51-53
RawAttribute
は
オブジェクト
の
attribute
では
オブジェクト
は
FoodForFn
物
の
instance
では
(=>
(
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
は
オブジェクト
の
attribute
では
オブジェクト
は
エンティティー
エンティティー
は
Harvesting
の
instance
では
オブジェクト
は
エンティティー
の
result
では
オブジェクト
は
有機物
の
instance
では
オブジェクト
は
FoodForFn
DomesticAnimal
の
instance
では の 目的
(=>
(
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
は
オブジェクト
の
attribute
では
オブジェクト
は
エンティティー
エンティティー
は
Agriculture
の
instance
では
オブジェクト
は
エンティティー
の
result
では
オブジェクト
は
植物
の
instance
では
オブジェクト
は
FoodForFn
DomesticAnimal
の
instance
では の 目的
(=>
(
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
は
オブジェクト
の
attribute
では
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
FoodForFn
人[人間]
の
instance
では
エンティティー
は
販売
の
instance
では
エンティティー
は
エンティティー
の
patient
では
オブジェクト
は
エンティティー
の
agent
では の 目的
(=>
(
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
は
Bakery
の
instance
では
工程
エンティティー
and
工程
工程
は
Baking
の
instance
では
エンティティー
は
工程
の
result
では
エンティティー
は
FoodForFn
人[人間]
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
CommercialService
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
販売
の
instance
では
エンティティー
は
工程
の
patient
では
(=>
(
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
は
Restaurant
の
instance
では
工程
エンティティー
and
オブジェクト
工程
は
CommercialService
の
instance
では
AutonomousAgent
は
工程
の
agent
では
工程
は
販売
の
instance
では
オブジェクト
は
RestaurantBuilding
の
instance
では
eventLocated
工程
and
オブジェクト
エンティティー
は
工程
の
patient
では
エンティティー
は
FoodForFn
人[人間]
の
instance
では
(=>
(
instance
?COOK
Cooking
)
(
exists
(?FOOD)
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
result
?COOK ?FOOD))))
Merge.kif 13006-13011
工程
は
料理
の
instance
では
エンティティー
エンティティー
は
FoodForFn
人[人間]
の
instance
では
エンティティー
は
工程
の
result
では
(=>
(
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
物理
は
Dish
の
instance
では
物理
は
エンティティー
エンティティー
エンティティー
は
摂食
の
instance
では
エンティティー
は
エンティティー
の
patient
では
物理
は
エンティティー
の
patient
では
エンティティー
は
FoodForFn
動物
の
instance
では
エンティティー
は
物理
に
located
して の 目的
(=>
(
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
工程
は
FoodDistributionOperation
の
instance
では
エンティティー
エンティティー
エンティティー
は
FoodForFn
動物
の
instance
では
エンティティー
は
認識エージェント
の
instance
では
エンティティー
は
工程
の
patient
では
工程
は
エンティティー
に
end
s
エンティティー
は
エンティティー
を
possess
es は
工程
の
time
の existence の すぐ
after
の
during
holds
(=>
(
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
オブジェクト
は
Sandwich
の
instance
では
オブジェクト
オブジェクト
and
オブジェクト
オブジェクト
は
BreadOrBiscuit
の
instance
では
オブジェクト
は
BreadOrBiscuit
の
instance
では
オブジェクト
は
FoodForFn
人[人間]
の
instance
では
オブジェクト
は
オブジェクト
と
オブジェクト
の
between
では
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
オブジェクト
の
part
では
(=>
(
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
は
GroceryStore
の
instance
では
工程
エンティティー
工程
は
販売
の
instance
では
AutonomousAgent
は
工程
の
agent
では
エンティティー
は
工程
の
patient
では
エンティティー
は
FoodForFn
動物
の
instance
では
(=>
(
instance
?T
MilitaryFoodTruck
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Transportation
)
(
instance
?F
(
FoodForFn
Animal
))
(
patient
?P ?F)))
instrument
?T))
Military.kif 287-295
オブジェクト
は
MilitaryFoodTruck
の
instance
では
オブジェクト
は
エンティティー
class
を
instrument
として行う
capable
では
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
エンティティー
は
TapWater
の
instance
では
ステートメント
エンティティー
は
FoodForFn
人[人間]
の
instance
では には
Likely
の
modal
force
が ある
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4372-4377
エンティティー
は
DeadFn
CerealGrain
の
instance
では
自己接続オブジェクト
エンティティー
は
自己接続オブジェクト
の
instance
では
自己接続オブジェクト
は
FoodForFn
動物
と
equal
では
(=>
(
instance
?X
Buffet
)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?X)
(
instance
?ITEM
(
FoodForFn
Human
)))))
Dining.kif 260-265
コレクション
は
Buffet
の
instance
では
物理
物理
は
コレクション
の
member
では
物理
は
FoodForFn
人[人間]
の
instance
では
(=>
(
instance
?X
HotelMiniBar
)
(
memberType
?X
(
FoodForFn
Human
)))
Hotel.kif 1734-1736
コレクション
は
HotelMiniBar
の
instance
では
memberType
コレクション
and
FoodForFn
人[人間]
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
血
は
FoodForFn
Mosquito
と
equal
では
(
equal
Food
(
FoodForFn
Human
))
Merge.kif 15011-15011
Food
は
FoodForFn
人[人間]
と
equal
では
(
industryProductType
FoodManufacturing
(
FoodForFn
Animal
))
Economy.kif 1869-1869
industryProductType
FoodManufacturing
and
FoodForFn
動物
(
subclass
Apple
(
FoodForFn
Animal
))
Food.kif 2187-2187
Apple
は
FoodForFn
動物
の
subclass
では
(
subclass
Avocado
(
FoodForFn
Animal
))
Food.kif 2289-2289
Avocado
は
FoodForFn
動物
の
subclass
では
(
subclass
Coconut
(
FoodForFn
Animal
))
Food.kif 2378-2378
Coconut
は
FoodForFn
動物
の
subclass
では
(
subclass
DateFruit
(
FoodForFn
Animal
))
Food.kif 2196-2196
DateFruit
は
FoodForFn
動物
の
subclass
では
(
subclass
Honey
(
FoodForFn
Animal
))
Mid-level-ontology.kif 23250-23250
Honey
は
FoodForFn
動物
の
subclass
では
(
subclass
LemonFruit
(
FoodForFn
Animal
))
Food.kif 2335-2335
LemonFruit
は
FoodForFn
動物
の
subclass
では
(
subclass
OrangeFruit
(
FoodForFn
Animal
))
Food.kif 2349-2349
OrangeFruit
は
FoodForFn
動物
の
subclass
では
(
subclass
Pea
(
FoodForFn
Animal
))
Economy.kif 4450-4450
Pea
は
FoodForFn
動物
の
subclass
では
(
subclass
PearFruit
(
FoodForFn
Animal
))
Food.kif 2201-2201
PearFruit
は
FoodForFn
動物
の
subclass
では
(
subclass
WineGrape
(
FoodForFn
Animal
))
Food.kif 3696-3696
WineGrape
は
FoodForFn
動物
の
subclass
では
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