TreeView Knowledge Base Browser - agreementEffectiveDuring

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

agreementEffectiveDuring

Sigma KEE - agreementEffectiveDuring

agreementEffectiveDuring

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 761-764
No TPTP formula. May not be expressible in strict first order.	Government.kif 758-758	域協議有效期間, 1 and Proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 759-759	域子類協議有效期間, 2 and TimePosition
No TPTP formula. May not be expressible in strict first order.	Government.kif 756-756	例協議有效期間 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Government.kif 755-755	例協議有效期間 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Government.kif 757-757	例協議有效期間 and PartialValuedRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 88-88
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 87-87
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 86-86
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5910-5910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5909-5909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5908-5908

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	TimePosition 是 Proposition 的 agreement 生效其間例 TimePosition and TimePosition 例 Formula and Formula 包含信息 Formula and Proposition 持有期間 TimePosition and Formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 774-783	例 Proposition and GeopoliticalArea 的 constitution 例 GeopoliticalArea and Nation 等於 Government and 政府 GeopoliticalArea 例何時 Government and TimePosition TimePosition 是 Proposition 的 agreement 生效其間次提案 Proposition and Proposition 包含信息 Formula and Proposition 持有義務 Formula and Government

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