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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - importPartnerByRankInPeriod
importPartnerByRankInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2687-2691
No TPTP formula. May not be expressible in strict first order. Economy.kif 2682-2682 O argumento numero 1 de importPartnerByRankInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Economy.kif 2683-2683 O argumento numero 2 de importPartnerByRankInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order. Economy.kif 2684-2684 O argumento numero 3 de importPartnerByRankInPeriod e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order. Economy.kif 2685-2685 O argumento numero 4 de importPartnerByRankInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order. Economy.kif 2681-2681 importPartnerByRankInPeriod e' uma instancia de Predicado Quaternario

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1277-1277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1276-1276
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1275-1275
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29437-29437
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29436-29436
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29435-29435

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2704-2709 importPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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