TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 652-654
No TPTP formula. May not be expressible in strict first order.	Food.kif 649-649	子類 CoffeeMaking and Cooking
No TPTP formula. May not be expressible in strict first order.	Food.kif 651-651	子類 CoffeeMaking and 液體運動
No TPTP formula. May not be expressible in strict first order.	Food.kif 650-650	子類 CoffeeMaking and Soaking

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 901-901	子類 AeropressingCoffee and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 836-836	子類 ColdBrewingCoffee and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 885-885	子類 DrippingCoffee and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 783-783	子類 EspressoMaking and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 853-853	子類 FrenchPressingCoffee and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 931-931	子類 MokaPotCoffeeMaking and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 923-923	子類 SiphoningCoffee and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 955-955	子類 TurkishCoffeeMaking and CoffeeMaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 655-655

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Food.kif 723-723

域子類 optimalGrindSizeForMakingCoffee, 1 and CoffeeMaking

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 657-662	例 Process and CoffeeMaking Entity 例 Entity and 咖啡結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	例 Process and CoffeeMaking Process Entity and Entity 子過程 Process and Process 例 Process and 液體運動患者 Process and Entity 例 Entity and 飲用水目的地 Process and Entity 例 Entity and CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	例 Process and CoffeeMaking Process Object, Object, Object, Object and Entity 子過程 Process and Process 例 Process and Removing 起源 Process and Object 例 Object and 液體混合物部分 Object and Object 例 Object and 飲用水部分 Object and Object 例 Object and CoffeeGrind 儀器 Process and Object 例 Object and 過濾結果 Process and Entity 例 Entity and 咖啡
No TPTP formula. May not be expressible in strict first order.	Food.kif 675-684	例 Process and CoffeeMaking Process Object and Entity 子過程 Process and Process 例 Process and Soaking 資源 Process and Object 例 Object and 飲用水患者 Process and Entity 例 Entity and CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 703-716	例 TimePosition and CoffeeMaking 持有期間 TimePosition and entity entity and entity 例 entity and 液體運動例 entity and Soaking 例 entity and Removing 之前開始何時 entity and 開始何時 entity 之前開始何時 entity and 開始何時 entity

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 379-387

例 Physical and ElectricCoffeeMaker
有目的 Physical and PhysicalOFFEE entity 例 entity and CoffeeMaking 儀器 entity and Physical 結果 entity and PhysicalOFFEE 例 PhysicalOFFEE and 咖啡

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

KB Term:			Term intersection

English Word: