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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ServiceContract

 Sigma KEE - ServiceContract
ServiceContract

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14194-14195
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14193-14193 ServiceContract est un sous-attribut de Contract

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3256-3256 Employment est un sous-attribut de ServiceContract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1945 FinancialOrder est un sous-attribut de ServiceContract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14208-14208 Warranty est un sous-attribut de ServiceContract
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52239-52239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52238-52238
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52237-52237

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14197-14206

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2058-2063
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 63-67


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