TreeView Knowledge Base Browser - ExpiredCard

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ExpiredCard

ExpiredCard(expired card)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3526-3526	Expired card is disjoint from valid card
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3527-3527
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3525-3525	Expired card is a subclass of bank card

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22828-22828
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22827-22827
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22826-22826

antecedent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 3529-3534

If a bank card is an instance of expired card holds during a time position and a financial account is a card account of the bank card,
then active agreement is not an attribute of the bank card holds during the time position

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