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

Formal Language: 



KB Term:  Term intersection
English Word: 

  economyType

Sigma KEE - economyType
economyType

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 88-89
No TPTP formula. May not be expressible in strict first order. Economy.kif 81-81 The number 1 argument of economy type is an instance of agent
No TPTP formula. May not be expressible in strict first order. Economy.kif 85-85 The number 2 argument of economy type is an instance of economic attribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 80-80 economy type is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Economy.kif 86-86 economy type is a subrelation of attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 828-828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 827-827
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 826-826
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21204-21204
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21203-21203
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21202-21202

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 440-447
No TPTP formula. May not be expressible in strict first order. Economy.kif 456-463
No TPTP formula. May not be expressible in strict first order. Economy.kif 465-472
No TPTP formula. May not be expressible in strict first order. Economy.kif 481-488
No TPTP formula. May not be expressible in strict first order. Economy.kif 490-497
No TPTP formula. May not be expressible in strict first order. Economy.kif 91-95

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 865-869
No TPTP formula. May not be expressible in strict first order. Economy.kif 506-510
No TPTP formula. May not be expressible in strict first order. Economy.kif 189-191
No TPTP formula. May not be expressible in strict first order. Economy.kif 388-390
No TPTP formula. May not be expressible in strict first order. Economy.kif 384-386
No TPTP formula. May not be expressible in strict first order. Economy.kif 432-434
No TPTP formula. May not be expressible in strict first order. Economy.kif 747-749
No TPTP formula. May not be expressible in strict first order. Economy.kif 743-745
No TPTP formula. May not be expressible in strict first order. Economy.kif 879-881

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 615-615 Developing country is an economy type of afghanistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 231-231 Less developed country is an economy type of afghanistan
No TPTP formula. May not be expressible in strict first order. Economy.kif 574-574 Country in transition is an economy type of albania
No TPTP formula. May not be expressible in strict first order. Economy.kif 616-616 Developing country is an economy type of algeria
No TPTP formula. May not be expressible in strict first order. Economy.kif 232-232 Less developed country is an economy type of algeria
No TPTP formula. May not be expressible in strict first order. Economy.kif 146-146 Developed country is an economy type of andorra
No TPTP formula. May not be expressible in strict first order. Economy.kif 617-617 Developing country is an economy type of angola
No TPTP formula. May not be expressible in strict first order. Economy.kif 233-233 Less developed country is an economy type of angola
No TPTP formula. May not be expressible in strict first order. Economy.kif 618-618 Developing country is an economy type of antigua and barbuda
No TPTP formula. May not be expressible in strict first order. Economy.kif 234-234 Less developed country is an economy type of antigua and barbuda
No TPTP formula. May not be expressible in strict first order. Economy.kif 619-619 Developing country is an economy type of argentina
No TPTP formula. May not be expressible in strict first order. Economy.kif 235-235 Less developed country is an economy type of argentina
No TPTP formula. May not be expressible in strict first order. Economy.kif 575-575 Country in transition is an economy type of armenia
No TPTP formula. May not be expressible in strict first order. Economy.kif 620-620 Developing country is an economy type of aruba
No TPTP formula. May not be expressible in strict first order. Economy.kif 236-236 Less developed country is an economy type of aruba
No TPTP formula. May not be expressible in strict first order. Economy.kif 535-535 Advanced economy is an economy type of australia
No TPTP formula. May not be expressible in strict first order. Economy.kif 147-147 Developed country is an economy type of australia
No TPTP formula. May not be expressible in strict first order. Economy.kif 536-536 Advanced economy is an economy type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 148-148 Developed country is an economy type of austria
No TPTP formula. May not be expressible in strict first order. Economy.kif 576-576 Country in transition is an economy type of azerbaijan
No TPTP formula. May not be expressible in strict first order. Economy.kif 622-622 Developing country is an economy type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 238-238 Less developed country is an economy type of bahrain
No TPTP formula. May not be expressible in strict first order. Economy.kif 623-623 Developing country is an economy type of bangladesh
No TPTP formula. May not be expressible in strict first order. Economy.kif 239-239 Less developed country is an economy type of bangladesh
No TPTP formula. May not be expressible in strict first order. Economy.kif 624-624 Developing country is an economy type of barbados

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