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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BuildingInspectionServices

Sigma KEE - BuildingInspectionServices
BuildingInspectionServices(建築檢驗服務)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 9968-9971
No TPTP formula. May not be expressible in strict first order. naics.kif 9966-9966 子屬性 建築檢驗服務 and 建築工程及相關服務

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12251-12251
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12250-12250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12249-12249


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