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

Formal Language: 



KB Term:  Term intersection
English Word: 

  codeMapping

Sigma KEE - codeMapping
codeMapping

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2267-2270
No TPTP formula. May not be expressible in strict first order. Media.kif 2264-2264 O argumento numero 1 de codeMapping e' uma instancia de CodeMap
No TPTP formula. May not be expressible in strict first order. Media.kif 2265-2265 O argumento numero 2 de codeMapping e' uma instancia de Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Media.kif 2266-2266 O argumento numero 3 de codeMapping e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10649-10649
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10650-10650
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10648-10648
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10658-10658
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10652-10652
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10654-10654
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10655-10655
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10653-10653
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10656-10656
No TPTP formula. May not be expressible in strict first order. Media.kif 2263-2263 codeMapping e' uma instancia de Predicado Ternario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3018-3018
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3017-3017
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3016-3016
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65792-65792

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2889-2895
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3135-3141
No TPTP formula. May not be expressible in strict first order. Media.kif 2272-2274
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3165-3167
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3161-3163
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3152-3154
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3148-3150
No TPTP formula. May not be expressible in strict first order. Media.kif 2636-2641
No TPTP formula. May not be expressible in strict first order. Media.kif 2316-2318
No TPTP formula. May not be expressible in strict first order. Media.kif 2286-2291
No TPTP formula. May not be expressible in strict first order. Languages.kif 14715-14717
No TPTP formula. May not be expressible in strict first order. Languages.kif 14705-14709
No TPTP formula. May not be expressible in strict first order. Languages.kif 14711-14713

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


No TPTP formula. May not be expressible in strict first order. Media.kif 801-812
No TPTP formula. May not be expressible in strict first order. Media.kif 2320-2322

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2643-2643 codeMapping ISO-3166-1-alpha-2, "AD" and Andorra
No TPTP formula. May not be expressible in strict first order. Media.kif 2834-2834 codeMapping ISO-3166-1-alpha-2, "AE" and UnitedArabEmirates
No TPTP formula. May not be expressible in strict first order. Media.kif 2644-2644 codeMapping ISO-3166-1-alpha-2, "AF" and Afghanistan
No TPTP formula. May not be expressible in strict first order. Media.kif 2645-2645 codeMapping ISO-3166-1-alpha-2, "AG" and AntiguaAndBarbuda
No TPTP formula. May not be expressible in strict first order. Media.kif 2842-2842 codeMapping ISO-3166-1-alpha-2, "AI" and Anguilla
No TPTP formula. May not be expressible in strict first order. Media.kif 2646-2646 codeMapping ISO-3166-1-alpha-2, "AL" and Albania
No TPTP formula. May not be expressible in strict first order. Media.kif 2647-2647 codeMapping ISO-3166-1-alpha-2, "AM" and Armenia
No TPTP formula. May not be expressible in strict first order. Media.kif 2867-2867 codeMapping ISO-3166-1-alpha-2, "AN" and NetherlandsAntilles
No TPTP formula. May not be expressible in strict first order. Media.kif 2648-2648 codeMapping ISO-3166-1-alpha-2, "AO" and Angola
No TPTP formula. May not be expressible in strict first order. Media.kif 2843-2843 codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica
No TPTP formula. May not be expressible in strict first order. Media.kif 2649-2649 codeMapping ISO-3166-1-alpha-2, "AR" and Argentina
No TPTP formula. May not be expressible in strict first order. Media.kif 2841-2841 codeMapping ISO-3166-1-alpha-2, "AS" and AmericanSamoa
No TPTP formula. May not be expressible in strict first order. Media.kif 2650-2650 codeMapping ISO-3166-1-alpha-2, "AT" and Austria
No TPTP formula. May not be expressible in strict first order. Media.kif 2651-2651 codeMapping ISO-3166-1-alpha-2, "AU" and Australia
No TPTP formula. May not be expressible in strict first order. Media.kif 2844-2844 codeMapping ISO-3166-1-alpha-2, "AW" and Aruba
No TPTP formula. May not be expressible in strict first order. Media.kif 2652-2652 codeMapping ISO-3166-1-alpha-2, "AX" and AalandIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2653-2653 codeMapping ISO-3166-1-alpha-2, "AZ" and Azerbaijan
No TPTP formula. May not be expressible in strict first order. Media.kif 2654-2654 codeMapping ISO-3166-1-alpha-2, "BA" and BosniaAndHerzegovina
No TPTP formula. May not be expressible in strict first order. Media.kif 2655-2655 codeMapping ISO-3166-1-alpha-2, "BB" and Barbados
No TPTP formula. May not be expressible in strict first order. Media.kif 2656-2656 codeMapping ISO-3166-1-alpha-2, "BD" and Bangladesh
No TPTP formula. May not be expressible in strict first order. Media.kif 2657-2657 codeMapping ISO-3166-1-alpha-2, "BE" and Belgium
No TPTP formula. May not be expressible in strict first order. Media.kif 2658-2658 codeMapping ISO-3166-1-alpha-2, "BF" and BurkinaFaso
No TPTP formula. May not be expressible in strict first order. Media.kif 2659-2659 codeMapping ISO-3166-1-alpha-2, "BG" and Bulgaria
No TPTP formula. May not be expressible in strict first order. Media.kif 2660-2660 codeMapping ISO-3166-1-alpha-2, "BH" and Bahrain
No TPTP formula. May not be expressible in strict first order. Media.kif 2661-2661 codeMapping ISO-3166-1-alpha-2, "BI" and Burundi

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