TreeView Knowledge Base Browser - Contract

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Contract

Contract(合同)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14134-14137
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5931-5931
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14132-14132	合同是 ActiveAgreement 的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14133-14133	合同是诺言的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14139-14139	赤裸裸的承诺是合同的相反
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2300-2300	民政协议是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2892-2892	提前终止费用条款是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 52-52	金融合约是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1468-1468	贷款承诺是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14164-14164	婚姻合同是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14177-14177	采购合同是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14193-14193	服务合同是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14215-14215	条约是合同的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16998-16998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16997-16997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16996-16996

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	如果内容承载物理是 ContractDocument 的 instance 和那个内容承载物理 contains 命题的资料和那个命题有合同的 attribute，然后那个命题有法的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	如果协议有合同的 attribute 和那个协议是有认知的主事的 party 协议和那个协议是另一个有认知的主事的 party 协议和过程是有意图过程的 instance 和那个有认知的主事是那个过程的 agent 和那个过程表示命题的内容和那个协议不是那个命题的 consistent，然后有存在实体这样那个实体是法律诉讼的 instance 和那个另外有认知的主事是 plaintiff 在那个实体和那个有认知的主事是在那个实体的 defendant 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14141-14146	如果命题有合同的 attribute，然后对所有公式如果那个公式是那个命题的 subProposition，然后那个公式的声明 has 合法的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	如果有认知的主事有 contract 去 build 固定人工制品，然后有存在协议和另一个有认知的主事这样那个协议有合同的 attribute 和那个协议是那个另外有认知的主事的 party 协议和那个协议是那个有认知的主事的 party 协议和那个另外有认知的主事要求那个有认知的主事执行有存在实体和那个固定人工制品2 这样那个实体是建筑的 instance 和那个有认知的主事是那个实体的 agent 和那个固定人工制品2 是那个实体的 result 和那个固定人工制品2 是固定人工制品的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	如果内容承载物理是 ContractDocument 的 instance，然后有存在命题这样那个内容承载物理 contains 那个命题的资料和那个命题有合同的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7141-7143	如果机构是命题的投保，然后那个命题有合同的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14122-14126	如果实体有诺言的 attribute，然后那个实体有合同的 attribute 或那个实体有赤裸裸的承诺的 attribute

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