patient

-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4423-4432
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2283-2292
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1349-1354
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2347-2358
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2362-2369
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1404-1409
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1326-1331
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2772-2783
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1768-1773
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1448-1453
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1373-1378
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1616-1621
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1305-1310
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1429-1434
No TPTP formula. May not be expressible in strict first order. Merge.kif 11427-11436
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1660-1665
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1641-1646
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1623-1628
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1572-1577
No TPTP formula. May not be expressible in strict first order. Merge.kif 11764-11777
No TPTP formula. May not be expressible in strict first order. Merge.kif 11724-11737
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 753-763
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9484-9494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9517-9527

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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