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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Interviewing

Sigma KEE - MiscellaneousDurableGoodsWholesalers
MiscellaneousDurableGoodsWholesalers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6697-6699
No TPTP formula. May not be expressible in strict first order. naics.kif 6695-6695 MiscellaneousDurableGoodsWholesalers e' um sub-atributo de WholesaleTradeDurableGoods

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6722-6722 JewelryWatchPreciousStoneAndPreciousMetalWholesalers e' um sub-atributo de MiscellaneousDurableGoodsWholesalers
No TPTP formula. May not be expressible in strict first order. naics.kif 6730-6730 OtherMiscellaneousDurableGoodsWholesalers e' um sub-atributo de MiscellaneousDurableGoodsWholesalers
No TPTP formula. May not be expressible in strict first order. naics.kif 6715-6715 RecyclableMaterialWholesalers e' um sub-atributo de MiscellaneousDurableGoodsWholesalers
No TPTP formula. May not be expressible in strict first order. naics.kif 6701-6701 SportingAndRecreationalGoodsAndSuppliesWholesalers e' um sub-atributo de MiscellaneousDurableGoodsWholesalers
No TPTP formula. May not be expressible in strict first order. naics.kif 6708-6708 ToyAndHobbyGoodsAndSuppliesWholesalers e' um sub-atributo de MiscellaneousDurableGoodsWholesalers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37985-37985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37984-37984
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37983-37983


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