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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - agreementExpirationDate
agreementExpirationDate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10832-10834
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10830-10830 The number 1 argument of expiration date is an instance of agreement
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10831-10831 The number 2 argument of expiration date is an instance of time point
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10829-10829 expiration date is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2731-2731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2730-2730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2729-2729
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 590-590 maturity date is a subrelation of expiration date
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22815-22815
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22814-22814
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22813-22813

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10836-10839
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2748-2760
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2610-2626
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3089-3113
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2481-2492


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