AppleAppStore - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AppleAppStore

AppleAppStore(Apple app store)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1977-1977
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1976-1976
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1973-1975
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1978-1979
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1970-1970	Apple app store is a subclass of computer program

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1971-1971	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1983-1983	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1987-1987	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1982-1982	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1986-1986	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1981-1981	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1985-1985	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1984-1984	Apple Computer created Apple app store
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1988-1988	Apple Computer created Apple app store

antecedent

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

ComputingBrands.kif 1990-1999

If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer,
then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer

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