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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ExtensionFn

 Sigma KEE - ExtensionFn
ExtensionFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1719-1720
No TPTP formula. May not be expressible in strict first order. Merge.kif 1764-1765
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 324-325
No TPTP formula. May not be expressible in strict first order. Merge.kif 1761-1761 O argumento numero 1 de ExtensionFn e' uma instancia de Atributo
No TPTP formula. May not be expressible in strict first order. Merge.kif 1760-1760 ExtensionFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 1759-1759 ExtensionFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 1762-1762 O contra-dominio de ExtensionFn e' uma instancia de Classe

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 257-257
No TPTP formula. May not be expressible in strict first order. english_format.kif 262-262
No TPTP formula. May not be expressible in strict first order. french_format.kif 147-147
No TPTP formula. May not be expressible in strict first order. relations-it.txt 106-106
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1975-1975
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 99-99
No TPTP formula. May not be expressible in strict first order. relations-de.txt 331-331
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 166-166
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 153-153
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 222-222
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 258-258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22990-22990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22989-22989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22988-22988
No TPTP formula. May not be expressible in strict first order. terms-de.txt 105-105
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 223-223

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1277-1287 totalFacilityTypeInArea Area Geografica, a classe correspondente a AirportWithPavedRunway and Numero Inteiro nao-negativo Sequencia Simbolica Entidade cardinality a classe descrita por Sequencia Simbolica and Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1482-1491
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1289-1296

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 777-783
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2389-2391
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2428-2430

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 144-144 cardinality a classe correspondente a DevelopedCountry and 35
No TPTP formula. May not be expressible in strict first order. Economy.kif 613-613 cardinality a classe correspondente a DevelopingCountry and 126
No TPTP formula. May not be expressible in strict first order. Economy.kif 405-405 cardinality a classe correspondente a LeastDevelopedCountry and 42
No TPTP formula. May not be expressible in strict first order. Economy.kif 229-229 cardinality a classe correspondente a LessDevelopedCountry and 172
No TPTP formula. May not be expressible in strict first order. Geography.kif 5426-5426 O argumento numero 1 de flows e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order. Geography.kif 5427-5427 O argumento numero 2 de flows e' uma instancia de a classe correspondente a Fluid
No TPTP formula. May not be expressible in strict first order. Weather.kif 11-11 Atmosphere e' uma sub-classe de a classe correspondente a Fluid


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