TreeView Knowledge Base Browser - exportPartnerByRankInPeriod

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

exportPartnerByRankInPeriod

Sigma KEE - exportPartnerByRankInPeriod

exportPartnerByRankInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2494-2498
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2489-2489	O argumento numero 1 de exportPartnerByRankInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2490-2490	O argumento numero 2 de exportPartnerByRankInPeriod e' uma instancia de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2491-2491	O argumento numero 3 de exportPartnerByRankInPeriod e' uma instancia de Inteiro positivo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2492-2492	O argumento numero 4 de exportPartnerByRankInPeriod e' uma sub-classe de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2488-2488	exportPartnerByRankInPeriod e' uma instancia de Predicado Quaternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 967-967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 966-966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 965-965
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22924-22924
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22923-22923
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22922-22922

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 2511-2516

exportPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal

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