Contract - Sigma Knowledge base Browser

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 14135-14138
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 14133-14133	子屬性合同 and ActiveAgreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14134-14134	子屬性合同 and 諾言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14140-14140	相反的屬性赤裸裸的承諾 and 合同
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2300-2300	子屬性民政協議 and 合同
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2892-2892	子屬性提前終止費用條款 and 合同
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 52-52	子屬性金融合約 and 合同
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1468-1468	子屬性貸款承諾 and 合同
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14165-14165	子屬性婚姻合同 and 合同
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14178-14178	子屬性採購合同 and 合同
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14194-14194	子屬性服務合同 and 合同
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14216-14216	子屬性條約 and 合同
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	例內容承載物理 and ContractDocument 包含信息內容承載物理 and Proposition 屬性 Proposition and 合同屬性 Proposition and 法
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14149-14163	屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議例 Process and IntentionalProcess agent Process and CognitiveAgent 實現 Process and Proposition 協議是 Proposition 的 consistent 模態屬性 entity 例 entity and LegalAction CognitiveAgent 是 plaintiff 在 entity CognitiveAgent 是在 entity 的 defendant and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14142-14147	屬性 Proposition and 合同 Formula 次提案 Formula and Proposition 模態屬性 Formula and 合法

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20823-20836	CognitiveAgent 有 contract 去 build StationaryArtifact 協議 CognitiveAgent 屬性協議 and 合同協議是 CognitiveAgent 的 party 協議協議是 CognitiveAgent 的 party 協議授予義務 entity StationaryArtifact2 例 entity and Constructing agent entity and CognitiveAgent 結果 entity and StationaryArtifact2 例 StationaryArtifact2 and StationaryArtifact, CognitiveAgent and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	例內容承載物理 and ContractDocument Proposition 包含信息內容承載物理 and Proposition 屬性 Proposition and 合同
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7142-7144	Organization 是 Proposition 的投保屬性 Proposition and 合同
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14123-14127	屬性 Entity and 諾言屬性 Entity and 合同屬性 Entity and 赤裸裸的承諾

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