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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - importPartnerByRank
importPartnerByRank

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2698-2702
No TPTP formula. May not be expressible in strict first order. Economy.kif 2694-2694 按等級進口合作夥伴, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2695-2695 按等級進口合作夥伴, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2696-2696 按等級進口合作夥伴, 3 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Economy.kif 2693-2693 按等級進口合作夥伴 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1273-1273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1272-1272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1271-1271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29431-29431
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29430-29430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29429-29429

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2704-2709 GeopoliticalArea 對於 PositiveInteger TimeInterval 在週期 GeopoliticalArea 由階級 import 夥伴 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveInteger 由階級 GeopoliticalArea import 夥伴


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