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

Formal Language: 



KB Term:  Term intersection
English Word: 

  agreementPeriod

 Sigma KEE - agreementPeriod
agreementPeriod

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14012-14014
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14010-14010 协议期限 的 1 数量 是 协议 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14011-14011 协议期限 的 2 数量 是 时距 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14009-14009 协议期限 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 96-96
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 95-95
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 94-94
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5922-5922
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5921-5921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5920-5920

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3920-3926 有存在 时距 这样 贷款 是 贷款 的 instance 和 那个 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益 是 那个 贷款 的 loan 利息
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14016-14021
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2881-2897
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2854-2870
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1261-1271
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1224-1233
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1273-1282
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2333-2355
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1497-1502
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1615-1624
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4162-4166

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 293-306
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1579-1583
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2574-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2558-2564
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2940-2944


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