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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIOS

 Sigma KEE - AppleIOS
AppleIOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 91-91 canRunOn AppleIOS and AppleIPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 84-84 AppleIOS est une sous-classe de PhoneOS

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 111-111 AppleIPhoneOS1 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 185-185 AppleIPhoneOS10 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 191-191 AppleIPhoneOS11 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 197-197 AppleIPhoneOS12 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 203-203 AppleIPhoneOS13 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 132-132 AppleIPhoneOS2 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 138-138 AppleIPhoneOS3 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 144-144 AppleIPhoneOS4 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 155-155 AppleIPhoneOS5 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 161-161 AppleIPhoneOS6 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 167-167 AppleIPhoneOS7 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 173-173 AppleIPhoneOS8 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 179-179 AppleIPhoneOS9 est une sous-classe de AppleIOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 87-87
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 86-86
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 85-85
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 88-88

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 93-97


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