1 - 100 of total 79425 results for type:InferenceRule in 2.3970000743865967 seconds
indexlabeltypemoresourcemodifiedindexed
1DPLL affirmative-negative ruleDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/AFFIR-NEG.owl2008-06-292008-07-31
2CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP304-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
3Class TransitivityAbstractionRulebrowser2 , browsehttp://inference-web.org/registry/ABR/CT.owl2007-11-132008-07-31
4Bottom Level TaskDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/BottomLevelTask.owl2008-06-292008-07-31
5ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET095+1/Vampire---9.0/answer.owl2008-04-142008-07-23
6CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP274-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
7CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SEU/SEU267+1/SNARK---20070805r041/answer.owl2008-04-152008-07-23
8EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT011-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
9ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET082+1/Vampire---9.0/answer.owl2008-04-142008-07-23
10EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT021-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
11CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP355-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
12ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET586+3/Vampire---9.0/answer.owl2008-04-142008-07-23
13CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET047-5/SNARK---20070805r041/answer.owl2008-04-142008-07-23
14CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP229-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
15DC-Train Sensor SimulationMethodRulebrowser2 , browsehttp://inference-web.org/registry/MPR/DCTrainSensorSimulation.owl2007-11-132008-07-31
16CWM-built-in functionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/CWM_Builtin.owl2008-06-292008-07-31
17Binary ResolutionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Bi-Resolution.owl2008-06-292008-07-31
18EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT143-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
19ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET194+3/Vampire---9.0/answer.owl2008-04-142008-07-23
20ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET101+1/Vampire---9.0/answer.owl2008-04-142008-07-23
21ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET578+3/Vampire---9.0/answer.owl2008-04-142008-07-23
22EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT010-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
23CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SEU/SEU154+1/SNARK---20070805r041/answer.owl2008-04-152008-07-23
24ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET076+1/Vampire---9.0/answer.owl2008-04-142008-07-23
25CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP348-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
26CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET047+1/SNARK---20070805r041/answer.owl2008-04-142008-07-23
27ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET143+3/Vampire---9.0/answer.owl2008-04-142008-07-23
28Direct assertionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Told.owl2008-06-292008-07-31
29CutDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Cut.owl2008-06-292008-07-31
30CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP285-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
31CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP306-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
32EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT160-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
33AssumptionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Assumption.owl2008-06-292008-07-31
34n/aIdentifiedThingbrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_clr.owl2007-08-102008-07-24
35CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP354-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
36ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET098+1/Vampire---9.0/answer.owl2008-04-142008-07-23
37EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT009-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
38ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET117+1/Vampire---9.0/answer.owl2008-04-142008-07-23
39ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET574+3/Vampire---9.0/answer.owl2008-04-142008-07-23
40Direct assertionDeclarativeRulebrowser2 , browsehttp://cedarweb.hao.ucar.edu/spcdis/registry/RUL/Told.owl2008-05-302008-07-24
41ConjunctionDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Conjunction.owl2008-06-292008-07-31
42CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP300-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
43CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP313-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
44EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT040-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
45Direct assertionDeclarativeRulebrowser2 , browsehttp://iw.cs.utep.edu/earthscience/gravity/registry/RUL/Told.owl2008-04-212008-07-23
46n/aInferenceRulebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_clr.owl2007-08-102008-07-24
47CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP253-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
48ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET169+3/Vampire---9.0/answer.owl2008-04-142008-07-23
49EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET619+3/SNARK---20070805r041/answer.owl2008-04-142008-07-24
50ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET097+1/Vampire---9.0/answer.owl2008-04-142008-07-23
51ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET584+3/Vampire---9.0/answer.owl2008-04-142008-07-23
52EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT044-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
53CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP298-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
54ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET347+4/Vampire---9.0/answer.owl2008-04-142008-07-23
55CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP250-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
56n/aInferenceRulebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc1.owl2007-08-102008-07-24
57Derived MembershipAbstractionRulebrowser2 , browsehttp://inference-web.org/registry/ABR/DerivedMembership.owl2007-11-132008-07-31
58ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET084+1/Vampire---9.0/answer.owl2008-04-142008-07-23
59ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET103+1/Vampire---9.0/answer.owl2008-04-142008-07-23
60CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT327+1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
61CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP279-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
62EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT032-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
63CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET788+1/SNARK---20070805r041/answer.owl2008-04-142008-07-24
64ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET201+3/Vampire---9.0/answer.owl2008-04-142008-07-23
65CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP333-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
66ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET094+1/Vampire---9.0/answer.owl2008-04-142008-07-23
67EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT043-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
68CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP292-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
69DemodulationDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/Demod.owl2008-06-292008-07-31
70ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET169+4/Vampire---9.0/answer.owl2008-04-142008-07-23
71n/aInferenceRulebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc2.owl2007-08-102008-07-24
72DC-Train Agent SimulationMethodRulebrowser2 , browsehttp://inference-web.org/registry/MPR/DCTrainAgentSimulation.owl2007-11-132008-07-31
73CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT305+1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
74ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET081+1/Vampire---9.0/answer.owl2008-04-142008-07-23
75ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET095+4/Vampire---9.0/answer.owl2008-04-142008-07-23
76CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP226-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
77CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET616+3/SNARK---20070805r041/answer.owl2008-04-142008-07-24
78EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT171-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
79EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT142-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
80CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET108+1/SNARK---20070805r041/answer.owl2008-04-142008-07-23
81CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP344-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
82ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET102+1/Vampire---9.0/answer.owl2008-04-142008-07-23
83CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP276-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
84DPLL unit clauses eliminationDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/UNIT-CLAUSES.owl2008-06-292008-07-31
85CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET962+1/SNARK---20070805r041/answer.owl2008-04-152008-07-24
86n/aInferenceRulebrowser2 , browsehttp://inference-web.org/proofs/test/2007-08-gila/04_sc2.owl2007-08-102008-07-24
87CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT313+1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
88ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET148+4/Vampire---9.0/answer.owl2008-04-142008-07-23
89ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET086+1/Vampire---9.0/answer.owl2008-04-142008-07-23
90EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT168-1/SNARK---20070805r041/answer.owl2008-04-132008-07-23
91ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET083+1/Vampire---9.0/answer.owl2008-04-142008-07-23
92CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP291-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
93CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP267-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24
94Business Owners Typically Have OfficesAbstractionRulebrowser2 , browsehttp://inference-web.org/registry/ABR/BusinessOwnersTypicallyHaveOffices.owl2007-11-132008-07-31
95DPLL atomic formulas eliminationDeclarativeRulebrowser2 , browsehttp://inference-web.org/registry/DPR/AtomicFormulas.owl2008-06-292008-07-31
96CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SEU/SEU267+2/SNARK---20070805r041/answer.owl2008-04-152008-07-23
97ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET577+3/Vampire---9.0/answer.owl2008-04-142008-07-23
98ENNF transformationDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/SET/SET096+1/Vampire---9.0/answer.owl2008-04-142008-07-23
99EMBEDDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/LAT/LAT005-4/SNARK---20070805r041/answer.owl2008-04-132008-07-23
100CONDENSEDeclarativeRulebrowser2 , browsehttp://inference-web.org/proofs/tptp/Solutions/GRP/GRP261-1/SNARK---20070805r041/answer.owl2008-04-102008-07-24