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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PensionPlan

Sigma KEE - PensionPlan
PensionPlan

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1174-1178
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1173-1173 PensionPlan e' uma sub-classe de FinancialAccount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3408-3408 DefinedContributionPlan e' uma sub-classe de PensionPlan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3386-3386 IndividualRetirementAccount e' uma sub-classe de PensionPlan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1187-1187 ProfitSharingPlan e' uma sub-classe de PensionPlan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3432-3432 SavingsPlan_408K e' uma sub-classe de PensionPlan
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45060-45060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45059-45059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45058-45058

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1180-1185

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3357-3364


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