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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AdministrationOfConservationPrograms

Sigma KEE - boilingPoint
boilingPoint

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1418-1419
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13842
No TPTP formula. May not be expressible in strict first order. Merge.kif 13840-13840 沸点 的 2 数量 是 温度测量instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 13839-13839 沸点 的 1 数量 是 純物质subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 13838-13838 沸点二元谓语instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 320-320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 319-319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 318-318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11507-11507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11506-11506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11505-11505

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13887-13900
No TPTP formula. May not be expressible in strict first order. Merge.kif 13877-13885
No TPTP formula. May not be expressible in strict first order. Merge.kif 13999-14012
No TPTP formula. May not be expressible in strict first order. Merge.kif 13909-13924
No TPTP formula. May not be expressible in strict first order. Merge.kif 13844-13853
No TPTP formula. May not be expressible in strict first order. Merge.kif 13855-13864
No TPTP formula. May not be expressible in strict first order. Merge.kif 13941-13945

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29409-29409 3470.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29257-29257 2740.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29421-29421 2880.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29333-29333 2023.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29267-29267 87.29 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29297-29297 886.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29401-29401 610.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29343-29343 1913.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29239-29239 3243.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29397-29397 1833.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29241-29241 2823.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29301-29301 331.93 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29327-29327 1038.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29341-29341 963.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29271-29271 1760.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29243-29243 5100.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29347-29347 3530.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29265-29265 238.55 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29279-29279 2755.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29285-29285 3143.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29289-29289 2868.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29363-29363 2608.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29367-29367 2783.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29357-29357 1870.0 凯文度boiling
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29249-29249 85.01 凯文度boiling

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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