TreeView Knowledge Base Browser - ATMMachine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ATMMachine

ATMMachine(ATM machine)

ATM, automated_teller, automated_teller_machine, automatic_teller, automatic_teller_machine, cash_dispenser, cash_machine

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3584-3588
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1038-1038
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3583-3583	ATM machine is a subclass of stationary artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8904-8904
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8903-8903
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8902-8902

consequent

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

FinancialOntology.kif 3662-3667

If a hole is an instance of ATM slot,
then there exists a self connected object such that the self connected object is an instance of ATM machine and the hole is a hole in the self connected object

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