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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TemporalFascia

 Sigma KEE - ConcreteContractors
ConcreteContractors
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1296-1298
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8433-8433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9096-9096
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9097-9097
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9098-9098
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9099-9099
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9100-9100
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9101-9101
No TPTP formula. May not be expressible in strict first order. naics.kif 1294-1294 ConcreteContractors e' um sub-atributo de SpecialTradeContractors

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16488-16488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16487-16487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16486-16486


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