Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Coffee

 Sigma KEE - Coffee
Coffee

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 632-633
No TPTP formula. May not be expressible in strict first order. pictureList.kif 356-356
No TPTP formula. May not be expressible in strict first order. Food.kif 634-634 initialPart Coffee and CoffeeBean
No TPTP formula. May not be expressible in strict first order. Food.kif 630-630 Coffee est reli� � l'int�rieur de SUMO � CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 631-631 Coffee est reli� � l'int�rieur de SUMO � CoffeeRoastAttribute
No TPTP formula. May not be expressible in strict first order. Food.kif 629-629 roomTempState Coffee and Liquid
No TPTP formula. May not be expressible in strict first order. Food.kif 628-628 Coffee est une sous-classe de boisson

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 1303-1303 Americano est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1264-1264 Cappuccino est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 739-739 Espresso est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1334-1334 FlatWhite est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1455-1455 Instant est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1387-1387 Latte est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1417-1417 LongBlack est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 764-764 Lungo est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1454-1454 Manilo est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1453-1453 TurkishCoffee est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. Food.kif 1452-1452 VietnameseCoffee est une sous-classe de Coffee
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15488-15488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15487-15487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15486-15486
No TPTP formula. May not be expressible in strict first order. Food.kif 635-635 typicallyContainsPart Caffeine and Coffee

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 1731-1746
No TPTP formula. May not be expressible in strict first order. Food.kif 637-639
No TPTP formula. May not be expressible in strict first order. Food.kif 641-643
No TPTP formula. May not be expressible in strict first order. Food.kif 645-647

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 379-387
No TPTP formula. May not be expressible in strict first order. Food.kif 657-662
No TPTP formula. May not be expressible in strict first order. Food.kif 686-701
No TPTP formula. May not be expressible in strict first order. Dining.kif 36-44
No TPTP formula. May not be expressible in strict first order. Food.kif 792-797


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