No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2014-2014
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2158-2158
No TPTP formula. May not be expressible in strict first order.	english_format.kif 785-785
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1982-1982
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1981-1981
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2148-2148
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2149-2149
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2150-2150
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2123-2123
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2069-2069
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2101-2101
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2151-2151
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2152-2152
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2064-2064
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2094-2094
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2153-2153
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2154-2154
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2126-2126
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2155-2155
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2132-2132
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2157-2157
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2156-2156
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2050-2050
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2117-2117
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2165-2165
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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