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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhone

Sigma KEE - AppleIPhone
AppleIPhone(iPhone)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 625-625
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 624-624
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 622-623
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 626-627
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 621-621 IPhone is a subclass of AppleComputer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 620-620 IPhone is a subclass of mobile cell phone

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 86-86 IPhone is capable of ComputerProcessing IOS
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3118-3118 Instance of home button are always initially part of instances of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 635-635 AppleIPhone1 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 656-656 AppleIPhone11 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 658-658 AppleIPhone11ProMax is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 657-657 AppleIPhone11pro is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 637-637 AppleIPhone3GS is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 636-636 AppleIPhone3g is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 638-638 AppleIPhone4 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 639-639 AppleIPhone4s is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 640-640 AppleIPhone5 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 641-641 AppleIPhone5c is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 642-642 AppleIPhone5s is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 643-643 AppleIPhone6 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 644-644 AppleIPhone6plus is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 645-645 AppleIPhone6s is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 646-646 AppleIPhone6splus is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 648-648 AppleIPhone7 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 649-649 AppleIPhone7plus is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 650-650 AppleIPhone8 is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 651-651 AppleIPhone8plus is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 652-652 AppleIPhoneX is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 655-655 AppleIPhoneXR is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 653-653 AppleIPhoneXS is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 654-654 AppleIPhoneXSmax is a subclass of iPhone

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2210-2214

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4226-4245


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