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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - exportPartnerByFraction
exportPartnerByFraction

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2539-2543
No TPTP formula. May not be expressible in strict first order. Economy.kif 2535-2535 按分數出口合作夥伴, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2536-2536 按分數出口合作夥伴, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2537-2537 按分數出口合作夥伴, 3 and PositiveRealNumber
No TPTP formula. May not be expressible in strict first order. Economy.kif 2534-2534 按分數出口合作夥伴 and TernaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 955-955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 954-954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 953-953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22906-22906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22905-22905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22904-22904

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2545-2547

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2549-2554 GeopoliticalArea PositiveRealNumber TimeInterval 在週期 GeopoliticalArea 由部分 export 夥伴 TimePosition TimePosition and TimeInterval 持有期間 TimePosition and GeopoliticalArea 對於 PositiveRealNumber 由部分 GeopoliticalArea export 夥伴


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