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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RepairAndMaintenance

Sigma KEE - RepairAndMaintenance
RepairAndMaintenance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11718-11720
No TPTP formula. May not be expressible in strict first order. naics.kif 11716-11716 RepairAndMaintenance est un sous-attribut de OtherServicesExceptPublicAdministration

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11722-11722 AutomotiveRepairAndMaintenance est un sous-attribut de RepairAndMaintenance
No TPTP formula. May not be expressible in strict first order. naics.kif 11851-11851 CommercialAndIndustrialMachineryAndEquipmentExceptAutomotiveAndElectronicRepairAndMaintenance est un sous-attribut de RepairAndMaintenance
No TPTP formula. May not be expressible in strict first order. naics.kif 11812-11812 ElectronicAndPrecisionEquipmentRepairAndMaintenance est un sous-attribut de RepairAndMaintenance
No TPTP formula. May not be expressible in strict first order. naics.kif 11859-11859 PersonalAndHouseholdGoodsRepairAndMaintenance est un sous-attribut de RepairAndMaintenance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49496-49496
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49495-49495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49494-49494


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