Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Merge.kif 1093-1093 子類 ElementalSubstance and PureSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27318-27318 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27334-27334 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27350-27350 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27364-27364 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27380-27380 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27399-27399 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27417-27417 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27435-27435 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27455-27455 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27472-27472 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27490-27490 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27506-27506 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27524-27524 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27542-27542 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27559-27559 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27574-27574 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27590-27590 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27607-27607 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27622-27622 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27638-27638 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27653-27653 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27669-27669 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27685-27685 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27712-27712 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27726-27726 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27741-27741 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27758-27758 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27775-27775 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27789-27789 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27805-27805 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27821-27821 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27839-27839 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27855-27855 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27871-27871 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27886-27886 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27902-27902 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27922-27922 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27939-27939 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27956-27956 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27973-27973 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27989-27989 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28006-28006 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28029-28029 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28048-28048 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28064-28064 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28079-28079 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28095-28095 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28110-28110 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28126-28126 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28142-28142 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28158-28158 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28175-28175 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28191-28191 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28209-28209 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28226-28226 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28252-28252 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28268-28268 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28288-28288 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28305-28305 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28321-28321 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28347-28347 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28367-28367 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28388-28388 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28404-28404 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28421-28421 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28436-28436 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28457-28457 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28482-28482 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28499-28499 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28515-28515 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28530-28530 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28552-28552 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28568-28568 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28585-28585 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28601-28601 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28616-28616 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28630-28630 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28654-28654 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28680-28680 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28701-28701 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28718-28718 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28740-28740 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28756-28756 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28774-28774 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28791-28791 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28808-28808 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28826-28826 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28842-28842 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28858-28858 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28876-28876 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28893-28893 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28910-28910 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28926-28926 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28944-28944 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28964-28964 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28981-28981 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28998-28998 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29015-29015 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29033-29033 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29053-29053 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29069-29069 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29087-29087 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29104-29104 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29126-29126 子類 unnilquadium and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29143-29143 子類 unnilpentium and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29158-29158 子類 unnilhexium and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29173-29173 子類 unnilseptium and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29188-29188 子類 unniloctium and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29201-29201 子類 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29218-29218 子類 unnildecium and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1101-1101 子類 Metal and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1108-1108 子類 Atom and ElementalSubstance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1133-1133 子類 SubatomicParticle and ElementalSubstance


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