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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - roastedToTemperature
roastedToTemperature

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


No TPTP formula. May not be expressible in strict first order. Food.kif 461-462
No TPTP formula. May not be expressible in strict first order. Food.kif 464-464 O argumento numero 1 de roastedToTemperature e' uma instancia de Comida
No TPTP formula. May not be expressible in strict first order. Food.kif 465-465 O argumento numero 2 de roastedToTemperature e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Food.kif 460-460 roastedToTemperature e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. Food.kif 466-466
No TPTP formula. May not be expressible in strict first order. Food.kif 719-719 optimalGrindSizeForMakingCoffee e' relacionado internamente por SUMO a roastedToTemperature
No TPTP formula. May not be expressible in strict first order. Food.kif 463-463

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


No TPTP formula. May not be expressible in strict first order. Food.kif 547-552
No TPTP formula. May not be expressible in strict first order. Food.kif 509-514
No TPTP formula. May not be expressible in strict first order. Food.kif 559-564
No TPTP formula. May not be expressible in strict first order. Food.kif 571-578
No TPTP formula. May not be expressible in strict first order. Food.kif 609-614
No TPTP formula. May not be expressible in strict first order. Food.kif 585-590
No TPTP formula. May not be expressible in strict first order. Food.kif 621-626
No TPTP formula. May not be expressible in strict first order. Food.kif 495-502
No TPTP formula. May not be expressible in strict first order. Food.kif 533-540
No TPTP formula. May not be expressible in strict first order. Food.kif 521-526
No TPTP formula. May not be expressible in strict first order. Food.kif 597-602
No TPTP formula. May not be expressible in strict first order. Food.kif 468-478
No TPTP formula. May not be expressible in strict first order. Food.kif 479-488


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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