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 253-253 AppleMacOSX 是 Mac OS 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 274-274 Kodiak 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 294-294 Cheetah 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 315-315 Puma 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 336-336 Jaguar 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 357-357 Panther 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 378-378 Tiger 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 399-399 Leopard 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 421-421 Snow Leopard 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 443-443 Lion 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 464-464 Mountain Lion 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 482-482 Mavericks 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 504-504 Yosemite 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 525-525 El Capitan 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 546-546 Sierra 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 568-568 High Sierra 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 589-589 Mojave 是 AppleMacOSX 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 610-610 Catalina 是 AppleMacOSX 的 subclass


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