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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceContract
ServiceContract(service contract)indenture, service_contract

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10976-10977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10975-10975 Service contract is a subattribute of contract

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3196-3196 Employment is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1894-1894 Financial order is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10990-10990 Warranty is a subattribute of service contract
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52221-52221
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52220-52220
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52219-52219

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


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

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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