Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 627-627 IPhone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 628-628 IPhone is a subclass of Apple Computer
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 642-642 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 643-643 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 644-644 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 645-645 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 646-646 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 647-647 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 648-648 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 649-649 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 650-650 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 651-651 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 652-652 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 653-653 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 654-654 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 655-655 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 656-656 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 657-657 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 658-658 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 659-659 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 660-660 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 661-661 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 662-662 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 663-663 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 664-664 Apple iPhone is a subclass of iPhone
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 665-665 Apple iPhone is a subclass of iPhone


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