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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1987-1987
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1982-1982
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1986-1986
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1981-1981
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1985-1985
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1984-1984
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1988-1988

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1990-1999


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