appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 26-28 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 363-363 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1292-1292 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer is a subclass of electric device |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | Apple Computer is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2518-2518 | Engine control module is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3185-3185 | Ignition control module is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29518-29518 | Portable computer is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16248-16248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16247-16247 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16246-16246 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 203-203 | The number 2 argument of computer running is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3534-3534 | The number 2 argument of connected peripheral is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3951-3951 | The number 2 argument of device account is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1023-1023 | The number 2 argument of hardware type is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2129-2129 | The number 1 argument of host jitter is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 550-550 | The number 2 argument of host of is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2111-2111 | The number 1 argument of host status is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 762-762 | The number 1 argument of ip address of is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1015-1015 | The number 1 argument of number of CPUs is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 188-188 | The number 2 argument of running on is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 339-339 | The number 2 argument of runs on is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1034-1034 | The number 1 argument of threshold of is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4286-4286 | The number 2 argument of trusted device is an instance of computer |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 352-352 | The number 2 argument of can run on is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 728-728 | The number 2 argument of device OS is a subclass of computer |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3476-3486 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3826-3840 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3217-3229 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1820-1827 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1723-1728 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2779-2786 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3324-3337 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4065-4072 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3801-3812 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1311-1318 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 157-164 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1670-1676 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4347-4358 |
|