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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TelephoneCallCenters

Sigma KEE - OtherNonmetallicMineralMiningAndQuarrying
OtherNonmetallicMineralMiningAndQuarrying

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


No TPTP formula. May not be expressible in strict first order. naics.kif 848-850
No TPTP formula. May not be expressible in strict first order. naics.kif 846-846 OtherNonmetallicMineralMiningAndQuarrying est un sous-attribut de NonmetallicMineralMiningAndQuarrying

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


No TPTP formula. May not be expressible in strict first order. naics.kif 872-872 AllOtherNonmetallicMineralMining est un sous-attribut de OtherNonmetallicMineralMiningAndQuarrying
No TPTP formula. May not be expressible in strict first order. naics.kif 865-865 OtherChemicalAndFertilizerMineralMining est un sous-attribut de OtherNonmetallicMineralMiningAndQuarrying
No TPTP formula. May not be expressible in strict first order. naics.kif 859-859 PhosphateRockMining est un sous-attribut de OtherNonmetallicMineralMiningAndQuarrying
No TPTP formula. May not be expressible in strict first order. naics.kif 852-852 PotashSodaAndBorateMineralMining est un sous-attribut de OtherNonmetallicMineralMiningAndQuarrying
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43316-43316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43315-43315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43314-43314


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