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