appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3761-3761 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16959-16960 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1707-1707 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1608-1608 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1607-1607 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16958-16958 | Computer program is a subclass of procedure |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 813-813 | Computer program is a subclass of software |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1828-1828 | JOPES is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | Audio/Video Control Transport Protocol is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2949-2949 | Flash is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1947-1947 | App is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1970-1970 | Apple app store is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 917-917 | FaceTime is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 955-955 | FairPlay is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2932-2932 | Apple Fast App Switcher is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 881-881 | GarageBand is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 899-899 | ICloud is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 905-905 | ILife is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 893-893 | IMessages is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 887-887 | IMovie is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 911-911 | IWork is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 988-988 | Migration Assistant is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 981-981 | Setup Assistant is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1911-1911 | Application Programmer Interface is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 686-686 | Automatic application is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2281-2281 | Bookmarklet is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2307-2307 | カレンダー is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2329-2329 | Camera is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 717-717 | Console application is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4049-4049 | DHCP program is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3102-3102 | Mailer is a subclass of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4246-4246 | FMIP is a subclass of computer program |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1428-1428 | The number 1 argument of CPU utilization is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1421-1421 | The number 1 argument of initial profile is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 442-442 | The number 1 argument of shutdown is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 402-402 | The number 1 argument of startup is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1404-1404 | The number 1 argument of command line arguments is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 752-752 | The number 1 argument of criticality level is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1353-1353 | The number 1 argument of dependency delay is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1330-1330 | The number 1 argument of dependency type is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 462-462 | The number 1 argument of environment attributes is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1347-1347 | The number 1 argument of has dependency is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1348-1348 | The number 2 argument of has dependency is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4039-4039 | The number 1 argument of implements protocol is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 850-850 | The number 1 argument of maximum replications is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 829-829 | The number 1 argument of minimum replications is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1083-1083 | The number 2 argument of monitor application data is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 877-877 | The number 1 argument of port number is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 746-746 | The number 2 argument of program copy is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 210-210 | The number 2 argument of program running is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 188-188 | The number 1 argument of running on is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 339-339 | The number 1 argument of runs on is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 822-822 | The number 1 argument of settling time is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 414-414 | The number 2 argument of shutdown of is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1030-1030 | The number 1 argument of heart beat rate is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3860-3860 | The number 1 argument of software version is an instance of computer program |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 374-374 | The number 2 argument of startup of is an instance of computer program |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |