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

Formal Language: 



KB Term:  Term intersection
English Word: 

  roastedToTemperature

 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 roastedToTemperature 的 1 数量 是 Food 的 instance
No TPTP formula. May not be expressible in strict first order. Food.kif 465-465 roastedToTemperature 的 2 数量 是 实数 的 instance
No TPTP formula. May not be expressible in strict first order. Food.kif 460-460 roastedToTemperature 是 二元谓语 的 instance

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 和 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 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