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 子屬性 服務合同 and 合同

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3256-3256 子屬性 僱用 and 服務合同
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1945 子屬性 金融秩序 and 服務合同
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14208-14208 子屬性 保證 and 服務合同
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